add CertiCoq to the projects list