Faster jetty startup

The only thing that needs thinking about here is the location of the `jetty-runner.xml` file. In this PR, it is located in the `geoserver` directory which is currently ignored. We could make the ignores more specific, or put it somewhere else, or ...

For me, startup time dropped to 15 seconds from 30, so substantial savings.