Timings for Int.v

Require Export HoTT.Spaces.Int.Core.

Require Export HoTT.Spaces.Int.Spec.

Require Export HoTT.Spaces.Int.Equiv.

Require Export HoTT.Spaces.Int.LoopExp.