a command line tool to make system proxy switching easier (need tinyproxy)