Option to terminal colors

Terminal colors can be customized ad defined in configuration per theme

plugins/c9.ide.terminal/terminal.js

@@ -64,6 +64,14 @@ define(function(require, exports, module) {
             "dark"  : ["#153649", "#FFFFFF", "#515D77", true],
             "dark-gray"  : ["#153649", "#FFFFFF", "#515D77", true]
         };
+        (function() {
+            var themeName;
+            if (options.defaults) {
+                for (themeName in options.defaults) {
+                    defaults[themeName] = options.defaults[themeName];
+                }
+            }
+        })();
 
         // Import the CSS
         ui.insertCss(require("text!./style.css"), options.staticPrefix, handle);