v8.14.0

What's Changed

• Fix for breakage on Coq dev issue by @k4rtik in #7
• Include new Coq versions in CI. by @Zimmi48 in #5
• Add compiler by @ybertot in #4
• Update meta.yml to support 8.14 by @k4rtik in #9

Full Changelog: v8.13.0...v8.14.0