Motivation: being able to choose a different output format at
run-time. We use the graphml format for the automated test, because
graphml is a text format, so we can compare the results of two runs.