Add filenamextns to prover info.  Update doc location.  Add whitespace element in parseresult
Add filenamextns to prover info.  Update doc location.  Add whitespace element in parseresult

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