Map coq to universe as per cjwatson request

<cjwatson> bryceh: the package-team-mapping spreadsheet I have maps coq
to universe, but
https://bazaar.launchpad.net/~bryce/arsenal/2.x/view/head:/reports/package-team-mapping.csv
maps coq to foundations.  Do you know (a) what reports.qa actually looks
at directly and (b) what needs to be done to fix this and get coq bugs
off our list?