Fixing version number for cryptominisat-2.9.8 release