add SAT.BooExp.hs for building CNF from any Bool expression; version 0.1.3.1