[maven-release-plugin] prepare for next development iteration
pom updates
Merge branch 'dev' of https://github.com/teverett/Pragmatach into dev
ext
ignores
Merge branch 'dev' of https://github.com/teverett/Pragmatach into coverity_scan