MetaCoq 1.3.3 for Coq 8.19

Bugfix release.

What's Changed

• Point 'index' in CoqDocJS header to index.html by @SwampertX in #1094
• Correct noccur for Template by @MevenBertrand in #1086
• Fix substitution during eta expansion of partial application by @4ever2 in #1117

New Contributors

• @SwampertX made their first contribution in #1094

Full Changelog: v1.3.2-8.19...v1.3.3-8.19