Merge pull request #189 from ptroja/master

Minor fixes, mostly to "Quick reference" card
add an option to the munger for controlling the print depth
add FUNION_FUPDATE_1 to the finite map compset
git ignore heaps generated in examples/l3-machine-code
make running parallel sessions of Vimhol easier

Thanks to Yong Kiam Tan for the idea.
Handle character literals when printing to LaTeX

Closes #190.

See also 89b5d3224403 for first piece of work in this vein.
Credit Piotr Trojanek for all of his documentation fixes.
Note in the VBG example that it really presents the Morse-Kelley axioms.

Based on a reading of the relevant Wikipedia articles (eek).
bogus README file removed

This file was probably copied from some template, but was never populated
with a meaningful content.