More functions for finding elements in lists.
A convenience-form of make-variable-disjoint.
Introduced "twisting"-construction.
Added two examples to UHIT'(3) catalogue, obtained via twisting.
Merge branch 'crypto_extraction' of git://github.com/MGwynne/oklibrary
Updates.
Correction: by default SAT value should be 2.
Correction: removing both single quotes from cryptominisat filenames.