Bump version number to 4.4.3

LSLabBuild · LSLabBuild · commit 7d022a3e8ab7 · 2018-04-18T11:52:02.000-04:00
diff --git a/keymaerax-core/src/main/resources/VERSION b/keymaerax-core/src/main/resources/VERSION
@@ -1 +1 @@
-4.4.2
+4.4.3
diff --git a/keymaerax.jar b/keymaerax.jar
@@ -1 +1 @@
-./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.4.2.jar
+./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.4.3.jar

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.4.2.jar`
	`1`	`+./keymaerax-webui/target/scala-2.12/KeYmaeraX-Web-assembly-4.4.3.jar`