Trace formulae for three-dimensional hyperbolic lattices and application to a strongly chaotic tetrahedral billiard