CLI option to dump a package's dependency graph

[gallais]

Summary

It's helpful when refactoring to be able to look at the dependency graph of a library to identify potential bottlenecks or surprising (dead?) dependencies.

It would be nice to have a command-line option allowing us to dump a dot representation of such a graph like Agda has.

[andrevidela]

I think @CodingCellist has a dot library we could use for that

[CodingCellist]

I would love to work on this over the week. @gallais, mind if I make this my IDM project for the week? : D

[gallais]

Go for it @CodingCellist! :idrHype: