Report on proof comments bubble

[#1]

It'd be great too have the functionality of reporting on how many comments were made in a proof. We want to see a report with the number of comments made in a proof. It'd be great to also report on how many documents are stored in the documents tab. Please see image for reference.