A nix development shell that provides all required tools for developing and building the project is provided for convenience. Using it is by no means required, although we encourage it.
You can activate the devShell using `nix develop`– or automatically, whenever entering/leaving this project's directory, using direnv (run `direnv allow` once).