PHP library for graph calculations using Redis as datastore