Escape paths for Jetty launcher.

The version of Jetty we're using ships with a launcher that doesn't
escape paths properly, so this commit also changes the Jetty startup
method.