Hi Guix,

In preparation for the next emacs version I thought it would be good to
start adding "next" versions of some emacs packages. I added this for
proof-general, but there may be other needs for the minimal emacs for
version 27.

Thanks,

John