[maven-release-plugin] prepare release automatalib-0.3.1-ase2013-tutorial-r1