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
Update readme

Added badge for benchmark which will show the latest run date and links to reports
Add for coverage

Coverage is uploaded to coveralls
Merge branch 'feat/Coverage' into develop
Merge branch 'feat/metadata' into develop

Conflicts:
	.travis.yml
Merge branch 'develop'

Conflicts:
	README.md
Modify travis build

Coveralls build removed (temporarily) due to timeout problems