Deprecate old config 'server_port'

This deprecates the no longer used `server_port` config option and fixes #1050.