Generate Mini IDE

New version with lots of improvements like syntax highlighting, a new theme, allows comments in scripts and more. Works on both phones and tablets; all Android 4.0 or later devices.On Android 4.4 allows 'immersive mode' (true full screen).