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

Replaces merge request #1

Makes pigosat go-gettable by moving the C source next to the Go source and removing the extra manual build step.