Correction: adding missing header file for ExtractPicosat.
Merge branch 'picosat_script' of git://github.com/MGwynne/oklibrary