Added nauty and a nauty wraper to the project