updated autotools project to produce simple cryptominisat binary