Make git-revert & git-cherry-pick a builtin