Make Jetty host and port configurable.

Implements #24222.

CHANGELOG.md

 # Changes in version 7.0-1.2?.? - 20??-??-??
 
+ * Minor changes
+   - Make Jetty host and port configurable.
+
 
 # Changes in version 7.0-1.23.0 - 2019-12-06
 

src/main/resources/jetty.xml

@@ -26,8 +26,12 @@
         <Arg>
           <Ref id="server"/>
         </Arg>
-        <Set name="port">8080</Set>
-        <Set name="host">127.0.0.1</Set>
+        <Set name="port">
+          <SystemProperty name="onionoo.jetty.port" default="8080" />
+        </Set>
+        <Set name="host">
+          <SystemProperty name="onionoo.jetty.host" default="127.0.0.1" />
+        </Set>
       </New>
     </Arg>
   </Call>