- dijkstraZero() added. (Until we conclude how to handle the related problem.)
- processed() query function added.

 /*!

 \page developers_interface Developers' interface to graph structures

 Under construction

 */