[#17] give the various tabs anchor tags

Addresses #17 by allowing people to link directly to a specific PR category.