Whatever version of xsltproc I'm not using generates even longer id
numbers, which means that the base id needs to be further truncated to
make space for them.
Just a shoddy python script for now. The main point of using python is
to normalize the ids generated by boostbook, which make comparisons
difficult. I'll probably switch to using whatever build tool we settle
on.
[SVN r64832]