Implement executable beluga_call_graph to compute a dependency call…

… graph of theorems in a Beluga signature

This executable can be used like this:
```
dune exec beluga_call_graph ./case-studies/classical-processes/cp.cfg
```