Fixed forgotten printf format term, found by govet
Rename main struct from Picosat to Pigosat
Add usage instructions