Moved SAT-solver data to dedicated file.
Imported tawSolver by Tanbir Ahmed.

From git://git.code.sf.net/p/tawsolver/code .
ID 67d2024b02edce894d9b9905324d141dc7b58e88.
Make tawSolver available.

Run "oklib --prebuild".