added snippet to load ProofGeneral; reminder of basic usage