Dijkstra runs on some examples; graph output as .dot