Add new optional config for web server port.

Add a new value to the "server" section of the config that defines
the web server port number, with a default of 8080.