Release - bump version to 4.0.1

In preparation of an upcoming bugfix release...

Author: samaaron

app/gui/qt/html/doc.html

@@ -15,7 +15,7 @@
  code_as <span class="highlight">:art</span></pre>
     </p>
 
-    <p class="version">v4.0.0</p>
+    <p class="version">v4.0.1</p>
 
   </center>
 

app/gui/qt/html/info.html

@@ -29,6 +29,6 @@
 
     <br/>
 
-    <p class="version">v4.0.0</p>
+    <p class="version">v4.0.1</p>
   </center>
 </body>

app/gui/qt/images/splash.png

@@ -130,7 +130,7 @@ MainWindow::MainWindow(QApplication& app, QSplashScreen* splash)
     show_rec_icon_a = false;
     restoreDocPane = false;
     focusMode = false;
-    version = "4.0.0";
+    version = "4.0.1";
     latest_version = "";
     version_num = 0;
     latest_version_num = 0;

app/gui/qt/images/splash2x.png

@@ -1375,7 +1375,7 @@ def initialize(ports, msg_queue, user_methods)
       @settings = Config::Settings.new(Paths.system_cache_store_path)
 
       # Temporarily fix beta version:
-      @version = Version.new(4, 0, 0)
+      @version = Version.new(4, 0, 1)
 #      @version = Version.new(4, 0, 0, "beta-6")
 
       @server_version = __server_version