Do the __tesla_ignore trick with callee, caller.

To avoid type-checker warnings, make the first argument to __tesla_callee() and __tesla_caller() the __tesla_ignore pseudo-event.
Stop warning about DES' deprecation.