Clearing up licensing issues of the python bindings

Thanks to Aaron Meurer for the help with this, and to Ilan Schnell for
the original picosat bindings, pycosat

Fixes issue #158