A little tool to switch proxy settings quickly