Documentation link is broken

[JasonGross]

https://metacoq.github.io/coqcoqcorrect says "The general documentation of the MetaCoq project also applies to this version." where "documentation" points to https://metacoq.github.io/documentation which is a 404