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