Switch between preset proxy profiles in Ubuntu