Also move config.py to config.py.dist for distribution purposes :)
Most notably, this adds Kerberos support and changes the theme.