JBIDE-13772 - Provide a configurable the LiveReload embedded server

Section on the Server Config Editor allows for LiveReload Web Socket port configuration.
(Server restart is required)