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]
