8.7-8.15 Compatible Release

What's Changed

• Make bbv compatible with Coq 8.7 by @JasonGross in #33
• Future proof NatLib and ZLib by @mrhaandi in #34
• modify pow2_inc by @thery in #35
• Adapt to coq/coq#14819 by @proux01 in #36
• Avoid unary round-trip for binary literals by @bacam in #37
• Test more released versions of Coq by @JasonGross in #39

New Contributors

• @mrhaandi made their first contribution in #34
• @thery made their first contribution in #35
• @proux01 made their first contribution in #36
• @bacam made their first contribution in #37

Full Changelog: v1.2...v1.3