An Alfred.app workflow for switching proxy options of Mac OS X