[Nauty-list] minor nauty release

[Brendan McKay]

Yesterday we replaced nauty25rc1 by nauty25.  The changes are
very minor:
  1. Small fixes to the manual.
  2. Fixed path in the script "runalltests" (thanks to Keith Briggs).

Brendan.