Enable HoTT as a telemetry provider.

Import cGiensen's HoTT telemetry implementation - untested.