Change metric for scaling to utilisation: a metric provided by the Java Metric library

Introduce new metric for scaling. Includes upgrade to Jetty 9, since we are using Metrics for this, which requires Jetty 8 or above. And upgrading to Jetty 9 seemed like a good idea at the time, too.

Took the opportunity to tidy up the beast that is AtlasMain.java, too.