Teach "git reflog" a subcommand to delete single entries