doc extras nauty openmp
