Improved dsatur by merging minPossibleColor and colorDegree
Added dsatur shuffle
Merge branch 'rewriteDsatur'

Conflicts:
	header/pcp.hpp
	header/vns-priv.hpp