Make benchmarks more robust

After a timeout at a certain size, benchmarks do not try larger sizes
Reporter parsing correction
Add command for badge generation

It is possible to create a badge with a date that should be used to point
 to benchmark online charts
Fix benchmarks

CLP script runs for sizes that correspond to SciFe benchmark
Korat script timeout breaks out of the loop
SciFe benchmark sizes corrected (were too big and tests timed out)
Reporter and parser corrections
Merge branch 'develop' into feat/benchmarks

Conflicts:
	src/bench/test/scala/insynth/enumeration/util/Reporter.scala