[maven-release-plugin] prepare release lantern-1.5.13
[maven-release-plugin] prepare for next development iteration
Merge branch 'master' into devel