Add platforms to coq, so it's built on Hydra