Timings for Truncations.v

Require Export HoTT.Truncations.Core.

Require Export HoTT.Truncations.SeparatedTrunc.

Require Export HoTT.Truncations.Connectedness.