Updated site-lisp/proofgeneral