Bumped version to 0.9.0.

Author: fukuchi

NEWS

@@ -1,7 +1,7 @@
 JumpLab NEWS - Overview of changes
 ==================================
 
-Version 0.9.0 (2020.8.xx)
+Version 0.9.0 (2020.8.10)
 ------------------------
 
 * New jump features:

jumplab.pde

@@ -26,7 +26,7 @@ Console gConsole;
 Joystick gJoystick;
 PresetManager gPresets;
 
-static final String gVersionString = "0.9.0-pre";
+static final String gVersionString = "0.9.0";
 
 static final int gameScreen_w = 800;
 static final int gameScreen_h = 600;