Add proofad to the list of PROOF repos

[tefirman]

• Need to add our analytics dashboard efforts to the overarching PROOF repo.
• Probably don't want to advertise it to the broader community though...