Convert hemlock docs

The hemlock docs are currently written using Scribe from CMU. It would be nice to have these docs converted to texinfo like the others so that we can have an up-to-date version that can be built with modern tools. I don't have access to Scribe to build the hemlock docs.