Added the configuration option to change the server port in the GUI and the config file