Add agenda for meeting on 11 May 2020
Created by: jeremybennett
This has necessitated adding some infrastructure.
Files changed:
* .gitignore: Created to ignore editor backup and PDF files.
* meetings/README.md: Created to explain purpose of the meeting
directory.
* meetings/agendas/agenda-11-may-2020.md: Created.