cleaned deprecated config options

Removed deprecated config options: auto, server. These are now done via
command line.
Changed deprecated config option server_port to port (same value).