Fix bug in math-mode TeX printing (excess \\ at end-of-line)

Thanks to Ramana for report.

Fundamentally due to polyml/polyml#99

Fix TeX code to compile- some tests still not passing

Implement nomath option to munger commands to override global -m option.

Remove a debugging "printf" from src/TeX/munger.lex

Preliminary thoughts towards allowing math-mode spacing in HOL TeX.

Fix a bug whereby munger failed on terms including a [ character.

Change munge commands to be shorter \HOLtm, \HOLty, and \HOLthm.

Allow width to be specified on a per-instance basis with a width=x option.

Allow commandline to specify the linewidth used by munger when p/printing.

Start of implementation of LaTeX munging for HOL.

Work based on a tool developed by Ramana Kumar.