Improve performance of `dump`

[Phelimb]

Dumping a large graph takes a very long time. Could possibly be improved by pipelining the redis queries.