Crypto extraction

Branch: crypto_extraction.

Corrections to cryptominisat extraction scripts.

Matthew