Moving settings out of server.py, into settings.py

This will address the problem we’ve been having with refreshing the
server.