Make the website better
add CertiCoq to the projects list