up version to 4.1.0

extra/CHANGES.txt

@@ -1,4 +1,4 @@
-????-??-??: 4.1.0
+2020-05-12: 4.1.0
 
 	New features:
 

src/context/display/displayJson.ml

@@ -102,7 +102,7 @@ let handler =
 				];
 				"protocolVersion",jobject [
 					"major",jint 0;
-					"minor",jint 4;
+					"minor",jint 5;
 					"patch",jint 0;
 				]
 			])

src/core/globals.ml

@@ -28,7 +28,7 @@ let version = 4100
 let version_major = version / 1000
 let version_minor = (version mod 1000) / 100
 let version_revision = (version mod 100)
-let version_pre = Some "rc.1"
+let version_pre = None
 
 let macro_platform = ref Neko