Use CrossOriginFilter from Jetty 9

Jetty 9 includes various bundled filters, including one to handle CORS.  Let's use that instead of using our own class.