Added Nauty 2.5 files