websockets: Add websockets13 support
websockets: handle HTTP_CONNECTION more flexibly

This fixes GitHub issue #73
websockets: Test and handle lack of Upgrade header