TAP5-2174: Add a CLI to Jetty7Runner, to make it easier to script