git-rebase -i: add command "drop" to remove a commit