coq-error-handlers package added