Add PicoSAT source code
Initial support for PicoSAT binding
WIP