Correction: adding missing header file for ExtractPicosat.

Branch: picosat_script.

Correction: adding missing header file for ExtractPicosat.

Matthew