updated autotools project

It now compiles cryptominisat_simple (or should we use the same name?), supports --enable-stats and checks for libz.