user config: allows configuring port of the web server