Hack in a 5 minute timeout on websockets for now.

Jetty added a super aggressive default (like 30s) somewhere between Jetty 7 and
Jetty 9.
Various tidying.