coquand/Four-Color-Theorem-Maintenance

Fixed FCT proof for latest coq and ssreflect