GoProof Extension Client and Project menu

GoProof Extension Client and Project menu