Adding extraction script for cryptominisat.

Branch: crypto_extraction.

Adding extraction script for cryptominisat.

Matthew