GoProof add attachment

GoProof add attachment