[nongnu] elpa/proof-general updated (35d5efa7ac -> 8b8e0b1e5f)

[ELPA Syncer]

elpasync pushed a change to branch elpa/proof-general.

      from  35d5efa7ac Merge pull request #717 from ayanamists/master
       new  0ee1956d32 ci-doc: document separate qRHL tests
       new  0dbb71de45 CI: prepare documentation and configuration for 
automatic updates
       new  8b8e0b1e5f CI: add cipg and documentation for it


Summary of changes:
 .github/workflows/test.yml    |   36 +
 ci/doc/README.md              |  226 ++++++-
 ci/doc/README.pdf             |  Bin 48354 -> 63794 bytes
 ci/doc/coq-emacs-releases.org |    8 +
 ci/tools/.gitignore           |    4 +
 ci/tools/cipg.ml              | 1498 +++++++++++++++++++++++++++++++++++++++++
 6 files changed, 1743 insertions(+), 29 deletions(-)
 create mode 100644 ci/tools/.gitignore
 create mode 100644 ci/tools/cipg.ml