Decouple WebSockify from doppio.

Unfortunately, it really does require including three files.

I cannot close the WebSockify issue until I verify that IE9 works, which I cannot test because doppio is broken atm in IE9.