Fix timing script to work with contrib/ prefixes

Time     | File Name
-------------------------------------------------------------------
5m27.30s | Total
-------------------------------------------------------------------
0m32.71s | categories/Adjoint/Composition/AssociativityLaw
0m27.94s | categories/Comma/Dual
0m17.44s | categories/ExponentialLaws/Law4/Functors
0m16.16s | categories/Adjoint/UnitCounitCoercions
0m13.74s | hit/Flattening
0m12.38s | categories/Adjoint/Dual
0m11.74s | categories/Adjoint/Composition/Core
0m10.30s | categories/Adjoint/Composition/IdentityLaws
0m10.20s | categories/Comma/InducedFunctors
0m09.92s | categories/Functor/Pointwise/Properties
0m08.34s | categories/Functor/Prod/Universal
0m08.31s | categories/GroupoidCategory/Morphisms
0m08.15s | categories/ExponentialLaws/Law1/Law
0m07.16s | hit/Connectedness
0m06.82s | categories/UniversalProperties
0m06.60s | categories/Adjoint/Paths
0m06.14s | categories/Functor/Paths
0m05.78s | categories/Category/Morphisms
0m05.66s | categories/Functor/Sum
0m05.53s | categories/Adjoint/UnitCounit
0m05.05s | EquivalenceVarieties
0m04.90s | categories/ExponentialLaws/Law2/Functors
0m04.26s | categories/Category/Sigma/OnMorphisms
0m03.60s | types/ObjectClassifier
0m03.60s | categories/ProductLaws
0m03.03s | types/Sigma
0m02.82s | categories/Functor/Prod/Functorial
0m02.73s | categories/Adjoint/UniversalMorphisms
0m02.72s | categories/FunctorCategory/Functorial
0m02.62s | Equivalences
0m02.33s | categories/Functor/Attributes
0m02.24s | categories/Category/Sum
0m02.05s | categories/Category/Sigma/Core
0m01.90s | PathGroupoids
0m01.89s | categories/NaturalTransformation/Dual
0m01.77s | categories/HomFunctor
0m01.66s | categories/FunctorCategory/Morphisms
0m01.63s | categories/NaturalTransformation/Composition/Laws
0m01.62s | categories/NaturalTransformation/Paths
0m01.50s | categories/Category/Sigma/OnObjects
0m01.50s | categories/Comma/Core
0m01.33s | categories/NaturalTransformation/Pointwise
0m01.33s | categories/NaturalTransformation/Composition/Core
0m01.32s | types/Prod
0m01.32s | categories/Category/Prod
0m01.16s | categories/NaturalTransformation/Composition/Functorial
0m01.12s | categories/Functor/Pointwise
0m01.06s | categories/Limits/Limits
0m01.02s | categories/ExponentialLaws/Law0
0m00.99s | categories/ExponentialLaws/Law1/Functors
0m00.97s | categories/NaturalTransformation/Prod
0m00.96s | hit/Spheres
0m00.89s | Trunc
0m00.87s | hit/epi
0m00.86s | categories/Functor/Prod
0m00.84s | categories/Functor/Composition/Functorial
0m00.84s | types/Paths
0m00.71s | categories/KanExtensions/KanExtensions
0m00.65s | types/Universe
0m00.60s | categories/InitialTerminalCategory
0m00.58s | types/Sum
0m00.57s | categories/Comma/Projection
0m00.55s | hit/quotient
0m00.53s | categories/Functor/Composition/Laws
0m00.53s | hit/Suspension
0m00.52s | categories/NaturalTransformation/Sum
0m00.51s | Functorish
0m00.50s | types/Record
0m00.47s | categories/ExponentialLaws/Law3/Functors
0m00.46s | categories/categories
0m00.44s | HProp
0m00.43s | hit/Circle
0m00.43s | types/Forall
0m00.42s | Tactics
0m00.39s | Fibrations
0m00.38s | categories/Cat/Core
0m00.37s | hit/minus1Trunc
0m00.37s | categories/Functor/Functor
0m00.37s | HSet
0m00.32s | TruncType
0m00.31s | categories/Functor/Dual
0m00.29s | categories/IndiscreteCategory
0m00.27s | categories/Cat/Morphisms
0m00.26s | categories/ExponentialLaws/ExponentialLaws
0m00.26s | categories/NaturalTransformation/Identity
0m00.26s | Misc
0m00.25s | categories/Category/Objects
0m00.25s | categories/Utf8
0m00.24s | types/Arrow
0m00.22s | Conjugation
0m00.22s | categories/Functor/Composition/Core
0m00.22s | categories/Notations
0m00.21s | categories/NatCategory
0m00.20s | categories/ExponentialLaws/Law3/Law3
0m00.20s | categories/SetCategory/Functors/Functors
0m00.20s | categories/Adjoint/Adjoint
0m00.20s | categories/FunctorCategory/Core
0m00.18s | categories/NaturalTransformation/NaturalTransformation
0m00.18s | Overture
0m00.17s | categories/GroupoidCategory/Core
0m00.17s | categories/Functor/Prod/Prod
0m00.17s | categories/Profunctor/Representable
0m00.17s | categories/Category/Dual
0m00.16s | categories/Category/Category
0m00.16s | categories/Comma/Comma
0m00.16s | hit/iso
0m00.16s | FunextVarieties
0m00.16s | categories/ExponentialLaws/Law1/Law1
0m00.16s | contrib/HoTTBook
0m00.16s | categories/Adjoint/Notations
0m00.15s | categories/Comma/Utf8
0m00.15s | categories/Adjoint/Composition/Composition
0m00.15s | categories/Adjoint/Utf8
0m00.15s | categories/Profunctor/Notations
0m00.15s | categories/NaturalTransformation/Notations
0m00.15s | categories/Functor/Notations
0m00.15s | categories/Adjoint/Composition/LawsTactic
0m00.14s | categories/Category/Subcategory/Wide
0m00.14s | categories/Profunctor/Core
0m00.14s | categories/SetCategory/Core
0m00.14s | categories/NaturalTransformation/Composition/Composition
0m00.14s | categories/Adjoint/Identity
0m00.14s | categories/NaturalTransformation/Utf8
0m00.14s | hit/unique_choice
0m00.14s | categories/Category/Univalent
0m00.13s | categories/DiscreteCategory
0m00.13s | categories/Adjoint/Core
0m00.13s | categories/Cat/Cat
0m00.13s | categories/NaturalTransformation/Core
0m00.13s | categories/Category/Core
0m00.13s | types/Bool
0m00.13s | categories/Functor/Composition/Composition
0m00.12s | categories/Comma/Notations
0m00.12s | HoTT
0m00.12s | categories/FunctorCategory/Utf8
0m00.12s | Contractible
0m00.12s | hit/Interval
0m00.12s | categories/Profunctor/Identity
0m00.12s | categories/FunctorCategory/FunctorCategory
0m00.12s | categories/FunctorCategory/Notations
0m00.12s | hit/Truncations
0m00.12s | categories/Profunctor/Utf8
0m00.11s | categories/Category/Notations
0m00.11s | categories/Category/Subcategory/Full
0m00.10s | categories/GroupoidCategory/GroupoidCategory
0m00.10s | categories/Category/Utf8
0m00.10s | categories/Category/Subcategory/Subcategory
0m00.10s | Pointed
0m00.10s | types/Unit
0m00.10s | coq/Init/Peano
0m00.10s | UnivalenceAxiom
0m00.10s | categories/SetCategory/SetCategory
0m00.10s | categories/Category/Sigma/Sigma
0m00.10s | categories/ExponentialLaws/Law4/Law4
0m00.10s | categories/Functor/Pointwise/Pointwise
0m00.10s | categories/Functor/Core
0m00.10s | categories/Profunctor/Profunctor
0m00.09s | categories/ExponentialLaws/Law2/Law2
0m00.08s | categories/Functor/Identity
0m00.08s | coq/Init/Specif
0m00.08s | categories/Functor/Utf8
0m00.08s | types/Empty
0m00.07s | categories/Category/Strict
0m00.06s | coq/Init/Logic_Type
0m00.05s | coq/Init/Datatypes
0m00.05s | coq/Program/Tactics
0m00.05s | FunextAxiom
0m00.04s | coq/Init/Notations
0m00.04s | coq/Init/Tactics
0m00.04s | coq/Init/Logic
0m00.03s | coq/Init/Prelude
0m00.03s | coq/Bool/Bool