Updating the Coq syntax files.
Updating the auto-generated pp file.