A script to set and unset proxy for terminal applications.