Remove old Jetty development server.

This has been replaced by server.js.