Relaxing an edge

Also written: relax, relaxing, relaxed

Updating a place's best known time because a road gives a faster way there. Dijkstra's algorithm relaxes a road when `new < dist[neighbor]`.