Assign IDs

This script assigns xml:id attributes to a number of elements.