Move picosat docstrings into C module
Get rid of Python PicoSAT wrapper

The contents of pyeda/boolalg/picosat.py were redundant.
This change will increase performance by some small amount by only going
through one function call instead of two.
Cleanup some picosat error handling