Add "Gerrit IRC Notifications" section to infra manual

Change-Id: Iaec6d94ea205011c5083ec6b45d672b64de2ceb8
Merge "Add "Gerrit IRC Notifications" section to infra manual"