GoProof Extension add collaborators list

GoProof Extension add collaborators list