typed-protocols-docs: add option to export dot files

If `typed-protocols-docs` output dot files, they could be used to be converted to other formats, e.g. `latex` with [`dot2tex`](https://dot2tex.readthedocs.io/en/latest/usage_guide.html).