emacs-common-proofgeneral license change