JsAst v3.0.0

Extended AST:

• Add some minimal top-level module
• Add support for BigInt literals

JsAst v2.0.0

This release:

• Works with Coq 8.11.2 (or later)
• Switch float representations from Flocq to native Coq floats

JsAst v1.0.9

Add missing let variant for for..in loops in the AST.

JsAst v1.0.8

• Add let to AST