git-add: introduce --edit (to edit the diff vs. the index)