fixed write CNF, added switch to always reset schema in Postgres, and including (temporarily?) a python script to take Tuffy's output WCNF and convert into a canonical, reduced WCNF using glucose to find backbones/unit clauses