HoTT/HoTT — pull request #349 by JasonGross (2014-03-29 21:15:53+00:00)
Title: Fix Book.py to work with Python 2.6

This involves minor changes in re, and bundling the argparse module