Install and configure ProofGeneral