Add support for interfacing with `dejavu`

[james-d-mitchell]

A probabilistic, parallel graph automorphism and isomorphism solver:

https://www.mathematik.tu-darmstadt.de/didaktik/ag_forschung/gg_forschung/engages/dejavu.en.jsp