Upgrade to servlet 3.0, jetty 9, and java 7

This patch upgrades spark to Servlet 3.0 and Jetty 9, and Java 7.

Issue: 43