Updated versions of Jetty (to 7.1.12), Dojo (to 1.9.0),
jQuery (to 1.10.2) and other libraries and Maven plugins.
Fixes COMETD-449 (WebSocket protocol cannot be configured in
JavaScript client).

Added configuration option "protocol".