Merge branch 'develop'
[maven-release-plugin] prepare release learnlib-0.10.0
[maven-release-plugin] prepare for next development iteration
Merge branch 'master' into develop