allow people to have either pygraphviz or graphviz installed

* Remove graphviz from the required dependencies, as it is not needed when using the mermaid/markdown export
* add both graphviz and pygraphviz in CI for mypy
* add documentation of graphviz flavors