Minecraft mod that allows you to connect to servers through a proxy