WebSocket protocols are now configurable.

See #337.

It works for me but I am not sure I did it correctly.