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)
Merge branch 'k9-release-prep'