Documentation reflecting preference for Datatype over Hol_datatype.

Some code changes as well, most importantly in TUTORIAL's
examples/ind_def/clScript.sml.
Minor comment about how to build Poly/ML heaps in DESCRIPTION.
Finish documenting math-mode munging.

Closes #121.