Make the theme configurable.

You can use the environment variable THEME to set the theme to use.