Update ISA models.

The new models are generated by the latest version of L3. This mostly results in just a few formatting (pretty-printing) changes. However, bit-patterns are now expanded out in a different manner. Specifically, applications of “word_extract” (over the match word) are replaced with applications of “v2w” (over the bits generated by “boolify”). Some minor updates were needed to accommodate this change.
Give the SATISFY_ss simpset fragment a name.

This will let it be targetted by calls to diminish_srw_ss.
Update installation instructions to include need for --enable-shared
Don't install minisat when building on Windows.

This is a shotgun approach to issue #92.
Updated version number in manuals, banners etc.
Polish releasing-hol script a little.
Don't try to delete non-existent MiniML files on release.
Delete .travis.yml file for release.
Correct treatment of minisat.exe in Windows build (issue #92)
New 'enumerated finite set library' by Lockwood Morris.  (As delivered.)
Corrections to get enum_fset/enumeralTheory to build.
Remove unnecessary dependency of enumfset/enumeralTheory on int.

This dependency is still present via totoTheory, because that theory
defines an order for the integers. But I think I might move that
definition out into a separate theory so that the core material
doesn't need to inherit the integers.
Remove misleading comment from DISCH_ALL documentation

There will never be two or more alpha-convertible hypotheses. Pointed
out by Rob Arthan.
Add fromBinString, fromDecString and fromHexString to ASCIInumbers.
Merge branch 'k9-release-prep'
Interactive prelude now displays "how to quit" advice as it starts.
Make the Unicode trace variable 0 by default on Windows.
Fix for printing of SSAT and SSAT16 instructions.

The immediate values “#32” and “#16” were printing as “#0”.
Fix in the printing of BFC and BFI instructions.

Similar to the previous commit.
Notes for Lockwood Morris's enumerated finite sets/maps library.