feat(exporter): serde: represent u128/i128 as strings …

See serde-rs/json#625. This patch is highly
inspired by txpipe/oura#712.

feat(frontend): diag: use annotate_snippets

refactor(frontend): diag: get rid of generic spans

feat(frontend): drop linter …

Fixes #611
Fixes #63

refactor(frontend): kill ExporterCommand indirection

refactor(front): run engine *after* rustc, not within

feat(cli): enable cargo cache by default, use u64, not u128s

refactor: kill hax-cli-options[-engine]&hax-diagnostics, intro `h… …

…ax-types`

refactor: hax-engine <-> cargo-hax: msg based communication

feat: use msg instead of binary pretty_print_diagnostics

feat: use msg instead of binary rustfmt

fix: restore debugging options

fix(tests): get rid of lint-related tests

fix(frontend): silence warnings

fix(frontend): exit code: reflect engine error

chore(frontend): remove unused

feat(frontend): generic derives, use bincode + zstd

chore(test-harness): update, remove lint tests

rustfmt

fix(frontend): fix a few serialize clauses

fix(test-harness): use one thread only

fix(tests): refresh

feat(cli): use a hax-specific target directory

fix(engine/names): stop removing lib paths, seems like that works now

fix(engine/names): do not set CARGO_TARGET_DIR, this is now done by hax

chore: update Cargo.lock

feat(exporter): add rustc default feature …

The `rustc` feature enables the conversion bridges from rustc types
(and AST) to the ones defined in `hax-frontend-exporter`. Enabling
`rustc` adds a dependency to `librustc_driver`.

chore: fmt

fix: kill dependency const_format

fix: kill dependency camino

fix: fmt docstring

feat: add doc for bincode manual impls

feat: add doc to serialize_int

remove TODO: the bound is needed because of sinto

feat: add doc to extern crate items

fix: kill more dependencies

remove cfg_if

feat: init dependabot

more precise unexpected_cfgs