Merge branch 'release/0.8.0' into develop
Merge branch 'hotfix/Fix_readme_on_0.8.0' into develop
corrected readme (hotfix, but does not deserve own branch)
damned, github has problems replacing version attribute in groovy source - try again...
Merge branch 'develop'