Documentation: add --patch option to synopsis of git-add