Moving commented-out lines to their proper places
Disabling per-variable stats by default

They can be enabled with STATS_NEEDED_EXTRA but they are typically not
needed
Fixing learnt clause type distribution dumping
Updating web-based display engine
Updating MySQL table structure