Fix `--with-nauty=PREFIX` to actually work with system installed nauty

[fingolfin]

Then also test that it keeps working as part of the CI tests.

On Ubuntu, one should be able to use libnauty2-dev for this purpose.