Update HOWTO_VisualCpp
Correct writing multiple results to result file
Display number of found solutions (as in master branch)
Merge pull request #64 from capiman/cryptominisat-2.9.7

CMS 2.9.7: Bugfix for multiple solutions, display number of found solutions, update HOWTO_VisualCpp