Grisu version
Merge branch 'release' of github.com:grisu/grisu-benchmark into release

Conflicts:
	pom.xml
Update README.md
versions
Merge branch 'develop' of github.com:grisu/grisu-benchmark into develop
Grisu version