News for package nauty