Data update for Glucose.

Now only satz is missing.
Update to Gcc version 4.6.4.
Update to R version 3.0.1.
Started with "listifying" php-generator.
Renaming (producing "cs").
Updates.
Provided further ordered forms.
Further list-forms.
Renamed "weak_php(m,n)" to "weak_php_fcs(m,n)".
Removed trailing spaces.
Further updates "weak_php(m,n)" -> "weak_php_fcs(m,n)".
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".
Correction: reading unsigned int's, not signed int's.
Correction: returning 1 in case of file-reading-error (not 0).
Started using bool.

And some code improvements regarding locality and const.
Made return-type bool.
Changed status-field to type bool.
Adding support for cryptominisat-3.2.