Is there a program that makes it easier to switch between using http proxy or not, my boss complained today how he always has to change this on his desktop when going from home to work or vice ...