2021.09 track creation for coq-prover

store-requests
3

+1 as reviewer and the new track is now ready.

  • Daniel