Adding extraction script for cryptominisat.
Merge branch 'crypto_extraction' of git://github.com/MGwynne/oklibrary