Prepared 0.4.0 release
Merge branch 'develop'
Merge branch 'develop'
[maven-release-plugin] prepare release automatalib-0.4.0
[maven-release-plugin] prepare for next development iteration
Merge branch 'master' into develop