a big lump of work to get the command line able to execute commands, and to hack in a trivial cli

demo/boot.js

@@ -45,7 +45,7 @@ var setupPlugins = function(config, callback) {
     //     packages: ["ace"]
     // };
     config.pluginDirs["../plugins"] = {
-        packages: ["pilot"]
+        packages: ["pilot", "cockpit"]
     };
 
     var knownPlugins = [];
@@ -109,7 +109,10 @@ var setupPlugins = function(config, callback) {
             }
         }
     }
-
+console.log(JSON.stringify({
+        packagePaths: pluginPackageInfo,
+        paths: paths
+    }));
     require({
         packagePaths: pluginPackageInfo,
         paths: paths

demo/demo_startup.js

@@ -150,7 +150,7 @@ exports.launch = function(env) {
 
     function onResize() {
         container.style.width = (document.documentElement.clientWidth - 4) + "px";
-        container.style.height = (document.documentElement.clientHeight - 55 - 4) + "px";
+        container.style.height = (document.documentElement.clientHeight - 55 - 4 - 23) + "px";
         env.editor.resize();
     };