Bumping Coq verions

Now in sync with https://github.com/HoTT/HoTT/pull/638