Remove old Jetty development server.

This has been replaced by server.js.
Merge pull request #1899 from AnalyticalGraphicsInc/removeOldProxy

Remove old Jetty development server.