Set SERVER_NAME in flask config, so url_for with _external works.

In particular, without this, in shell context, url_for uses 'localhost' as the
server name (which flask says is the default if none is set).