Firefox addon that creates a button to quickly toggle proxy settings on or off