Add option to change server port. Add help message.
Merge branch 'server_options_pull' of https://github.com/ryanmjacobs/tptmp into server_options_pull