Cleanup some code in add_clauses
Use Py_RETURN_NONE to auto-handle refcount
Add assumptions=None argument satisfy_one/all

This argument will take advantage of the picosat_assume function to add
unit clauses to the CNF, forcing particular literals to true.
s/integer/int