Add monitoring health page

A new Jetty server now runs on port 8081 and exposes a health page at
/system/health with the number of connections opened in the last
minute. The port can be overridden using the monitoring.port server
argument.