Add zchaff, inital code for cnf input generation