Docker images of Coq (v. 8.4 to 8.20): a Rocq-community project