switch to newer jetty in onionoo

test the latest available (on debian stable, currently jessie) jetty with Onionoo and update, if this is useful.