Rewriter v0.0.4

Last release compatible with Coq 8.11 -- 8.14. Supports Coq 8.11 -- Coq 8.15 (and possibly 8.16)

What's Changed

• Drop support for Coq < 8.11, make hint globality explicit by @JasonGross in #45
• Don't leave over a useless let-in in cache_term by @JasonGross in #49
• Remove some unused requires by @JasonGross in #50
• Clear unused deps in cache_term for transparent_abstract by @JasonGross in #51
• Split off Reify.v by @JasonGross in #52
• Add an example dealing with defined constants by @JasonGross in #53

Full Changelog: v0.0.3...v0.0.4