Change parse_cnf/parse_sat to load_cnf/load_sat

Also, add new dump_cnf and dump_sat functions for converting from a
logical expression to a string in CNF/SAT format.