slaprunner: publish the ipv4 address of the monitoring interface

Conflicts:
	software/slaprunner/instance-runner.cfg

software/slaprunner/instance-runner-export.cfg.in

@@ -40,6 +40,7 @@ parts +=
   deploy-settings-cgi
   deploy-status-cgi
   make-rss
+  monitor-frontend
   monitor-promise
   setup-static-files
   certificate-authority

software/slaprunner/instance-runner.cfg

@@ -39,6 +39,7 @@ parts =
   deploy-settings-cgi
   deploy-status-cgi
   make-rss
+  monitor-frontend
   monitor-promise
   setup-static-files
   certificate-authority
@@ -401,8 +402,8 @@ backend_url = $${slaprunner:access-url}
 access_url = $${:url}/login
 url =  https://$${request-frontend:connection-domain}
 ssh_command = ssh $${dropbear-runner-server:host} -p $${dropbear-runner-server:port}
-monitor_url = $${:url}:$${cgi-httpd-configuration-file:listening-port}/$${deploy-index:filename}
 webdav_url = https://$${request-frontend:connection-domain}/share
+monitor_url = $${:url}:$${cgi-httpd-configuration-file:listening-port}/$${deploy-index:filename}
 
 #---------------------------
 #--