Address #32: Convert Hemlock User's Manual to texi

Convert the "Hemlock User's Manual" from Scribe to Texinfo.

Mostly done by the sed script in sed.exp, but much manual tweaking required.

But the result is pretty close to the original pdf version.

Merge request reports

Loading