editor

A simple editor for Grace

Phase One:

• Make the Run button the default button, so that it builds and runs - John
• Ability to dismiss the file and console drawer - Ruben
• Add the ability to change the font size, background color, color scheme, default indent and other variables of the inbuilt editor - Ruben

Phase Two:

• Get Stdin working
• Renaming files (already implemented)
• Group files into folders and download those folders
• Simple refactoring like renaming variables (already implemented)
• Re-indenting files - Ruben
• Show inline documentation/standard library when using standard functions