feat: refactor Charon.toml to use Cargo.toml and add support for start_from, hide_marker_traits#1104

Nadrieril merged 17 commits into

AeneasVerif:mainAeneasVerif/charon:mainfrom

oliver-butterley:config-file-updatesoliver-butterley/charon:config-file-updatesCopy head branch name to clipboard