deprecate config option 'server_port'

Should fix #1050.

I hope this is how it should be done, otherwise tell me what to change.

I can also add further options if you tell me which.