Updates to get Spec1 building with a modern HOL4

Includes a copy of the holdoc tool, brought over from the HOL repository.