Make git-reset delete empty directories