Dijkstra's algorithm as an example in rust doc.