Configurable default theme

Added a new config option `defaultTheme` to allow us to set a different default than `ace/theme/textmate`.