Revised library_versions and NEWS
minor adjustments to documentation / interface / #includes; these from Tim's fcsimplex branch, thanks Tim
removal of references to cryptominisat in sources