Some changes to benchmarking scripts and options.
Added the "mysql_provide" option to the wordpress benchmark.
Corrected the "gcode" to "gecode" everywhere in the code.
Added the "-stop-after-solving" option.