Flatten and simplify the picosat C lib (make go-gettable)