Picosat script

Branch: picosat_script. (oklibrary)

Adding extraction script for picosat913.

Matthew