add: _CoqProject (for ProofGeneral-4.3)