v2023.05.03

What's Changed

• Output types: ExternalAPI, ExternalTypes, and Makefile generation by @tahina-pro in #90
• F*+dune: new F* library layout, improved handling of FSTAR_HOME by @tahina-pro in #92
• Remove effect-based writers by @tahina-pro in #93
• EverParse3d.InputStream.Extern.fst: proof maintenance by @mtzguido in #94
• Update usage of --split_queries by @mtzguido in #96
• getopt: remove use of FStar.BaseTypes by @mtzguido in #97
• EverParse3d: Prelude: update for FStarLang/FStar#2892 by @mtzguido in #98
• Clarify bitfields in LowParse and 3d; BE bitfields now MSB-first by @tahina-pro in #95

Full Changelog: v2023.02.08...v2023.05.03