Release version 1.3.0

CHANGELOG.md

 # Changelog
 
-## [(next version)](https://gitlab.cs.uni-duesseldorf.de/api/v4/projects/848/jobs/artifacts/master/raw/build/libs/prob2-jupyter-kernel-1.2.1-SNAPSHOT-all.jar?job=test)
+## [1.3.0](https://www3.hhu.de/stups/downloads/prob2-jupyter/prob2-jupyter-kernel-1.3.0-all.jar)
 
 * Added support for Java 17.
 * Updated ProB 2 to version 3.15.0.

build.gradle

@@ -9,7 +9,7 @@ plugins {
 	id("com.github.johnrengelman.shadow").version("7.1.2")
 }
 
-version = "1.2.1-SNAPSHOT"
+version = "1.3.0"
 
 final isSnapshot = project.version.endsWith("-SNAPSHOT")