Build prerequisites for Coq Platform 2021.02

This releases stores build prerequisite tar balls for Coq Platform 2021.02.2.

This includes only a small subset of the prerequisites, namely those where the original sources are hosted on servers which are too unstable for regular CI.

Later releases might include a more complete set to enhance build stability.