Save theme mtimes; parameterize copyright year
Adds prev_theme_customization getter/setter
Moves misplaced <div> tag
Adds theme recompile view

Adds a view and associated ThemeController method that recompiles the
current theme. It reloads the theme (possibly updating the template
overrides with recent code changes), then recompiles the customizations.