Data updates.
Simplified definition of type "clause_info".
Simplified definition of type "var_info".
Simplified definition of type "change_info".
Now checking for clauses which are too long (don't fit into unsigned int).

Also improved length of current_working_clause.
Defined "log2s", computing the logarithm only for input 2^n, n natural.

This is faster than the old std::log2, however the overall saving in
run-time is only about 1%.
Comment on how to use bigger clauses.
Rearranged struct-members in order of size.

Shouldn't make a difference here, but could in the future.
Writing the (important) restriction MAX_CLAUSE_LENGTH now all capital.
Update to gcc version 4.7.3.

With this version we can now also use most C++11 features.
Now using the g++ provided by the OKlibrary for compiling tawSolver.
Correction: allowing the other build-targets now.
Small improvement.
Timing results, and discussion of the special log2-computation.
Moved all output to "print_solution".
Renamed function "print_solution" -> "output".
Changed output-format to DIMACS.
Simplified time measuring.