cs215/unit06/lect02_coloring_certificate_verifier.py added