[emacs] update proof general