A proxy that allows Gamemaker html5 clients to connect to a Gamemaker server through websockets.