Added Colin's graph isomorphism checker to the codebase.