Bump HoTT Coq for 996db6625e180dd9953392522e8c44152bfedf44