Let git-checkout always drop any detached head