dijkstra_shortest_paths_no_init supports pruning on distances

    When the distance map is given and the newly discovered distance
    is worse than the distance stored in the distance map,
    the vertex is not even added to the priority queue.