[haskell] Feature: visualization of service matrix output.

[diekmann]

Currently, the service matrices (build_ip_partition_pretty) are just dumped as plain text. They could be perfectly visualized as graph. My idea: dump them as dot and run graphviz afterwards.

Code can also be added to the isabelle theories to prepare the output.