[maven-release-plugin] prepare release presto-0.7.12
[maven-release-plugin] prepare for next development iteration
Merge branch 'release/presto-0.7.12' into develop