WebSocket over SSL on HTTPS pages (fix #137)