Re-add support for open proxy

Thought I would have to use websockify on linux, but FleckProxy seems to
work just fine!