Added nauty25r2 source code to the repo.
Compiles on Debian testing with latest nauty.