a gitconfig that allows the julia package manager to work behind a proxy