Added refs to MiniML.

There are probably errors in the semantics, and the proofs in metatheory don't
work.  I hope to fix all of this tomorrow.
Update MiniML pretty printer.

Remove the parameterization to do both SML and OCaml concrete syntax, and add
cases for references.
Fix some easy MiniML metatheory
64-bit x86 support improved
Combinators A and B were removed from Lib by commit 6b16cc6 (in 2009).
selftest for SATISFY_ss added
Some theorems concerning bit_count.
A port of HOL Light's gauge integral results by Weiqing Gu.
move miniML example out of this repository

It now lives at https://github.com/xrchz/vml
remove missing miniML stuff from build-sequence
Add a few more functions to bitstringSyntax.
Add author names to new integralScript.sml.
Replace ; (Classic ML list notation) with , (SML notation) in CONJUNCTS.doc
REPLACE_ELEMENT --> LUPDATE

Thomas showed me that REPLACE_ELEMENT is the same as LUPDATE. In this
commit, I moved REPLACE_ELEMENT from rich_listTheory to listTheory and
rename it LUPDATE -- deleting the old definition of LUPDATE. I also
updated examples/machine-code which uses LUPDATE.
Merge in work done towards release of Kananaskis-8.
Correct some Classic ML to be correct SML in CONJUNCTS_THEN.doc
quantHeuristicLib tuning
  - better name for traces
  - list_no_len_qp added
  - predefined filter functions added
holfoot: REPLACE_ELEMENT -> LUPDATE

- adapt to recent renaming of REPLACE_ELEMENT to LUPDATE
- cleaning up generalHelpersScript
Remove a redundant tools-poly copy of win-config.sml
quantHeuristicsLib bug fixes

- back-chaining only applied weakening, if a rule could be applied
  for both threngthening and weakening
- trouble with free type-variable clashes fixed