A small gevent-based VNC proxy with man-in-the-middle authentication.