Use mattam82's version of Coq

Now we get slightly better universe polymorphism, eta for records, and
optimized record projections.
Try to make HoTT compatible with the new records
Update Coq