Removing unnecessary Editor constructor argument

src/app.js

@@ -82,7 +82,7 @@ var run = function() {
 
 	// ----------------- editor ----------------------
 
-	var editor = new Editor(ace, loadingFromGist, SOL_CACHE_FILE_PREFIX);
+	var editor = new Editor(loadingFromGist, SOL_CACHE_FILE_PREFIX);
 
 
 	// ----------------- tabbed menu -------------------

src/app/editor.js

 var ace = require('brace');
 require('../mode-solidity.js');
 
-function Editor(ace, loadingFromGist, SOL_CACHE_FILE_PREFIX) {
+function Editor(loadingFromGist, SOL_CACHE_FILE_PREFIX) {
 
   this.newFile = function() {
     untitledCount = '';