Add new plug-in GraphTools

- Trait DirectedEdge to extend a type to be an edge of a graph
- Trait Vertex to extend a type to a vertex of a graph
- Algorithm ShortestPath to compute a shortest path between two vertices

The code is partly taken from my experiments in
BEExperiments/StreetNetworkSimulation.