Fix Holmake's -I flag so it is not applied recursively

The -I flag to Holmake was being re-interpreted with each recursive
entry of a fresh directory, so that when the included directory was
entered, the Holmake process then attempted to again include that path
in the newly entered directory. This is fine if the path is
absolute (the loop detection will stop the recursion), but if it's
relative, the path won't be present in that directory and a
file-system IO error occurs.

Closes #413

Provide CLINE_OPTIONS variable in Holmakefiles

This variable is read for a set of default command-line switches which
are treated as if they are being passed on the command-line. Things
actually passed on the command-line are applied after what is in the
Holmakefile, possibly overriding the file's switches. Of course, the
command-line can also change the defaults with both of the
--no_hmakefile and --holmakefile=file switches.

Motivated by the desire to have Holmakefiles be able to contain good -j
options for specific directories.

This pretty well supercedes the OPTIONS variable, so the documentation
in DESCRIPTION has been adjusted accordingly.

Closes #86

Make default jobs value for Moscow ML = 1

Make Holmake less chatty by default

Enable old level of chattiness with -v or --verbose command line option.

Add unused -j (num jobs) option to Holmake c/line

Implement a -n option for Holmake

This uses the new dependency graph technology. It doesn't look
particularly pretty at the moment, but

Holmake -n -q

should be useful. (The -q suppresses useless info about automatic
dependency analysis.)

Closes #283

Sort Holmake c/line options for display to user

Add --ot ("opentheory") as core c/line option

Switch Moscow ML Holmake to GetOpt cline options

This is a precursor to merging more of the Poly/ML and Moscow ML
implementations, as per github issue #77

Write c/line option handling for mosml Holmake

This is as yet unused.