corrected paths to certificates, added note how to re-generate the certificates
corrected paths to certificates,
added note how to re-generate the certificates

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle