Timings for Cubical.v

Require Export Cubical.DPath.

Require Export Cubical.PathSquare.

Require Export Cubical.DPathSquare.

Require Export Cubical.PathCube.

Require Export Cubical.DPathCube.