Small SOCKS server written in Python