added my proofgeneral configuration for emacs