Use Jetty 8 to run Codeserver #125

Since GWT Codeserver depends on Jetty 8 classes to work at the moment, we still use Jetty 8 for the CodeServer and run the rest of the project on Jetty 9.