Timings for Join.v

Require Export Join.Core.

Require Export Join.TriJoin.

Require Export Join.JoinAssoc.

Require Export Join.JoinSusp.