Remove this obsolete port of Temporally Enhanced Security Logic
Assertions (TESLA).

It's one of two dependencies on clang33/llvm33 and no one is using it
(we'd be seeing support requests if they were).

Should a new version be useful, we'll add a new port.