Move RLGWebD configuration options into a configuration file.

On startup, rlgwebd now reads /etc/rlgwebd.conf.  If the options for
HTTPS are not found, it will only use HTTP.

rlgwebd.conf

@@ -0,0 +1,24 @@
+# Configuration file for RLGWebD
+# Install in /etc
+
+# These values are set by default:
+# Location of the socket for start/stop commands
+#control_socket = /var/run/rlgwebd.sock
+# Port number to bind
+#http_port = 8080
+# Port number for HTTPS
+#https_port = 8081
+# Path to the dgamelaunch installation to chroot into
+# If you change this, change the Makefile too
+#chrootDir = /var/dgl/
+# User account to drop to
+#username = rodney
+# Path within the chroot where static Web files are located
+#static_root = /var/www/
+
+# Domain name
+domain_name = rlgallery.org
+# SSL key and certs
+keyfile = /etc/letsencrypt/live/rlgallery.org/privkey.pem
+certfile = /etc/letsencrypt/live/rlgallery.org/cert.pem
+cafile = /etc/letsencrypt/live/rlgallery.org/chain.pem