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.
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
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.
Make PP.avoid_unicode also work for bare constant names.

Previously, unicode infixes, suffixes were avoided, but if one did an
outright

    overload_on("unicode-ish thing", ``constant``)

then PP.avoid_unicode wouldn't help.
Fix yet another Holmakefile problem.