add SAT.CNF.MinisatReader.hs; version 0.1.2.1