database: fix git_rm, use pygit2's Index.remove