up version to 3.4.7

extra/CHANGES.txt

@@ -1,4 +1,4 @@
-2018-XX-XX: 3.4.7
+2018-02-21: 3.4.7
 
 	Bugfixes:
 

src/globals.ml

@@ -20,7 +20,7 @@ type platform =
 	| Python
 	| Hl
 
-let version = 3406
+let version = 3407
 let version_major = version / 1000
 let version_minor = (version mod 1000) / 100
 let version_revision = (version mod 100)