Install the toolchain, configure project.toml, build and run
with fire, verify with UPPAAL.
Syntax and semantics of .fis system descriptions and
.fi protection-domain programs.
Pre-built fic + fire binaries for Linux x86-64
and macOS arm64.