Add Coq syntax highlight