removing cryptominisat since we're not using it
Merge branch 'master' of github.com:CVC4/CVC4
minor cleanup of comments, spelling, removal of unneeded scope resolutions
library_versions
revised NEWS
minor adjustments to documentation / interface / #includes; these from Tim's fcsimplex branch, thanks Tim
removal of references to cryptominisat in sources