Add a section "Press articles related to Coq"

[Jim Fehrle]

I think people might enjoy reading a few press articles such as https://www.quantamagazine.org/univalent-foundations-redefines-mathematics-20150519/, which @anton-trunov liked.

Quanta has 4 other articles mentioning Coq; you can see them all at https://www.quantamagazine.org/search?q[s]=coq

From that page, these also appear relevant:
https://www.quantamagazine.org/formal-verification-creates-hacker-proof-code-20160920/
https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/
https://www.quantamagazine.org/in-computers-we-trust-20130222/

[Karl Palmskog]

@jfehrle rather than including all of these articles in our list, the way I prefer to handle this would be to link to an external "Coq in the press" page, which, e.g., could be hosted on the Coq website.

[Théo Zimmermann]

FTR I specifically redirected Jim away from the Coq website and to awesome-coq because I'm not ready to commit to maintaining / curating such a list on the website (the website needs a proper and dedicated team of maintainers which it doesn't have at the current time). Maybe we should prioritize work on this last issue though (cc @maximedenes).

[Karl Palmskog]

@Zimmi48 I understand, but I still don't see any way it would make sense to have an ever-expanding list of "Coq press" article links here. One option is that @jfehrle creates a "Coq press" page in the Coq wiki, and we link to this wiki page from here under Resources.