Add release plugin

Author: mrotteveel

devdoc/deploy.md

@@ -5,11 +5,23 @@ Make sure that JAVA_HOME points to Java 8 (the javadoc task fails with Java 11).
 
 To deploy to Maven use
 
+```
+mvn release:clean release:prepare
+```
+
+followed by
+
+```
+mvn release:perform
+```
+
+Or make the changes manually and use
+
 ```
 mvn clean deploy -P release
 ```
 
-For snapshots we can forego signing and generating javadoc + sources using:
+For snapshots we can skip signing and generating javadoc + sources using:
 
 ```
 mvn clean deploy

pom.xml

@@ -122,6 +122,17 @@
                     <autoReleaseAfterClose>true</autoReleaseAfterClose>
                 </configuration>
             </plugin>
+            <plugin>
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-release-plugin</artifactId>
+                <version>2.5.3</version>
+                <configuration>
+                    <autoVersionSubmodules>true</autoVersionSubmodules>
+                    <useReleaseProfile>false</useReleaseProfile>
+                    <releaseProfiles>release</releaseProfiles>
+                    <goals>deploy</goals>
+                </configuration>
+            </plugin>
         </plugins>
     </build>