Beginning of theming support for REPL colors

There's now a representation of color themes. No way to set it yet - I need to figure out the best way to do that. I'm considering adding an init file that lets arbitrary REPL commands to be run at startup and commands to modify the themes, as this is more general than a ton of command line options.