Add Coq commands and settings