Support websockets with Tomcat 8.0.8

Fixes gh-1210