set/unset git proxy when activated/deactivated and set ANDROID_HOME