added servlet api 3.1
added patched version of some Jetty 9 bundles

For the server applications to work with a Eclipse 4.4 based
target platform.
The applied patch will be included in Jetty 9.2.2
see https://bugs.eclipse.org/bugs/show_bug.cgi?id=437419