Handle changing theme names smartly (Fix #650)

Check if the theme is configured as one of the old names and handle it wih a warning.

Also, if the theme can't be found, default to bootstrap instead of crashing.