Next release will be Kananaskis-10 (rename release notes to match)
Update release notes to use Kananaskis-10 string.

Also, make title a YAML metadata block to make pandoc generate nice
output.
Modify release script to work with markdown release notes

Now the HTML file that will eventually appear on the website is
generated with pandoc as part of the script.
Remove miniml example, as per hol-developers exchange.
Some prettification of the releasing-hol script's output.
Minor formatting tweak to release notes.
More formatting tweaks for the release notes.
Need to remove miniml from build sequence.
Another change to a Holmakefile in light of 6e6ca26
Merge branch 'master' into k10-release-prep
Noticed that MAX_SET was being omitted with a bad rule for EMPTY

This buglet stems from the change in d1a6a38def
Fix bad dependencies in src/emit/ML's Holmakefile.

Old behaviour of Holmake was concealing inaccurate dependencies in
this directory.
Merge branch 'master' into k10-release-prep
Put release date into release notes.
Remove some trailing whitespace.
Remove some Unicode in src/
Fix a horrid bug in removing rules from grammars.

Sense of a test was inverted when working over a grammar's binders.
Const annotation in the pretty-printer wasn't happening for binders.
Handle Unicode on Windows better with new PP.avoid_unicode trace

If the trace variable is true, then the pretty-printer strives to not
print Unicode characters.  If it's false, then it obeys the grammar
(which encodes various printing preferences as well).  The trace
is initialised to true on Windows systems.
Change Kananaskis-9 into Kananaskis-10 in the relevant places.