Simplify PicoSAT Python wrapper module params

Changed the parameters so instead of taking a 'cnf' parameter of type
DimacsCNF, just take 'nvars' and 'clauses' directly.