Simple tool to enable/disable proxy configurations of Ubuntu