- Remove the very host specific configuration from config/__init__.py
  and replace it by generic default values (no URL specific themes;
  'fsi_inf' as default theme)

- Add documentation for the two variables 'default_theme' and
  'themes_by_url' so that site admins can overwrite them in their local
  config.