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

This is missing from the binary cache currently and that is very painful, because compilation takes ~40 mins.