git-checkout: allow "checkout HEAD -- path"