List the contributed venues on the codechecker page

[nuest]

Under the title on the codechecker page, add a list: "This codechecker contributed checks to A, B, C.", with A B and C being named links to the venues that the codechecker did checks for.