Your checklist for this pull request

• I've documented or updated the documentation of every function and struct this PR changes.
• I've added tests that prove my fix is effective or that my feature works (if possible)

Detailed description

When attempting to use LAVA on larger projects, such as a file, the current btrace implementation doesn't return the file names. There might be a way to modify the Makefile, but ideally, I'd use a modern replacement for btrace to make it easier to add new source code and reduce overall technical debt.

See references here:

https://pypi.org/project/compiledb/

https://clang.llvm.org/docs/JSONCompilationDatabase.html

...

Test plan

The CI/CD should work with toy.

...

Closing issues

N/A
...