git-read-tree: remove deleted files in the working directory