This option allows curl and its dependents (git, ...) to work with proxy using Kerberos authentification.