Grafalgo - A Library of Graph Algorithms and Supporting Data Structures (revised)