Update HoTT to tip, fix naming of directories

Time     | File Name
-------------------------------------------------------
6m16.52s | Total
-------------------------------------------------------
0m27.63s | Grothendieck/PseudofunctorToCat
0m25.92s | Comma/Duals
0m24.15s | Category/Equality
0m24.08s | Adjoint/Hom
0m17.78s | ExponentialLaws/Law4/Functors
0m16.82s | ExponentialLaws/Law1/Law
0m16.51s | Pseudofunctor/Core
0m14.15s | Adjoint/UniversalMorphisms
0m13.56s | Functor/Pointwise/Properties
0m13.47s | Pseudofunctor/FromFunctor
0m12.57s | Adjoint/Duals
0m12.40s | Adjoint/Composition
0m12.20s | Adjoint/UnitCounitCoercions
0m08.85s | Comma/InducedFunctors
0m08.61s | UniversalProperties
0m07.15s | Category/Morphisms
0m06.97s | Groupoid
0m06.80s | DualFunctor
0m06.80s | Adjoint/Equality
0m05.84s | Adjoint/UnitCounit
0m04.93s | ExponentialLaws/Law2/Functors
0m04.84s | NaturalTransformation/Pointwise
0m04.76s | Functor/Sum
0m04.48s | Groupoid/Duals
0m03.99s | Functor/Equality
0m03.86s | Groupoid/Functors
0m03.60s | Subcategory/SigmaMorphisms
0m03.58s | Category/Sum
0m03.20s | Functor/Attributes
0m03.15s | Functor/Product/ProductFunctor
0m02.92s | Comma/CommaCategory
0m02.56s | BoolCategory
0m02.54s | Grothendieck/ToSet
0m02.28s | Subcategory/Sigma
0m02.12s | Category/Product
0m02.06s | NaturalTransformation/Isomorphisms
0m02.03s | Hom
0m02.02s | ExponentialLaws/Law2/Law
0m01.96s | ExponentialLaws/Law0
0m01.90s | NaturalTransformation/CompositionLaws
0m01.84s | NaturalTransformation/Equality
0m01.79s | NaturalTransformation/Duals
0m01.77s | FunctorCategory/Morphisms
0m01.55s | Functor/Product
0m01.55s | NaturalTransformation/Composition/Functorial
0m01.49s | NaturalTransformation/Product
0m01.39s | ExponentialLaws/Law1/Functors
0m01.35s | Functor/Pointwise
0m01.34s | NaturalTransformation/Composition
0m01.22s | Functor/Composition/Functorial
0m01.13s | Subcategory/SigmaObjects
0m00.94s | Comma/Projection
0m00.86s | CategoryOfSections
0m00.79s | InitialTerminalCategory
0m00.62s | Subcategory/Wide
0m00.58s | Common
0m00.56s | ExponentialLaws/Law3/Functors
0m00.51s | FunctorCategory/Functorial
0m00.49s | Functor/CompositionLaws
0m00.47s | NaturalTransformation/Sum
0m00.38s | IndiscreteCategory
0m00.37s | Cat/Morphisms
0m00.36s | Cat
0m00.33s | FunctorCategory
0m00.33s | SetCategory
0m00.32s | Discrete/Duals
0m00.31s | IsGroupoid
0m00.28s | Functor/Duals
0m00.28s | ExponentialLaws/Law4/Law
0m00.26s | Category/Objects
0m00.26s | ExponentialLaws/Law3/Law
0m00.26s | NaturalTransformation/Identity
0m00.25s | DependentProduct
0m00.24s | Grothendieck/ToCat
0m00.23s | Functor/Composition
0m00.21s | NatCategory
0m00.21s | Adjoint/Identity
0m00.20s | ExponentialLaws/Law2
0m00.18s | Category/Core
0m00.18s | Adjoint
0m00.17s | ExponentialLaws
0m00.17s | ExponentialLaws/Law4
0m00.17s | NatCategory/Duals
0m00.16s | ExponentialLaws/Law1
0m00.16s | Category/Duals
0m00.16s | NaturalTransformation/Core
0m00.16s | NaturalNumbersObject
0m00.15s | ExponentialLaws/Law3
0m00.15s | Pseudofunctor
0m00.14s | Coq/Logic/Decidable
0m00.14s | Category/UnivalentCategory
0m00.14s | Peano
0m00.13s | Coq/Arith/Lt
0m00.13s | Functor/Core
0m00.13s | ComputableCat
0m00.12s | NaturalTransformation
0m00.12s | Utf8
0m00.11s | Grothendieck
0m00.11s | Subcategory
0m00.11s | Category
0m00.11s | DiscreteCategory
0m00.11s | Coq/Arith/Le
0m00.10s | Category/StrictCategory
0m00.10s | Functor/Identity
0m00.10s | Coq/Arith/Compare_dec
0m00.10s | Coq/Arith/Plus
0m00.09s | Subcategory/Full
0m00.09s | Coq/Arith/Gt
0m00.08s | Functor
0m00.05s | Notations
0m00.04s | NotationsUtf8