Add TIGNORE macro (maps to __tesla_ignore).

No-op from client perspective, but allows a little tidying of tesla-macros.h.
Don't document tests.

Especially don't document preprocessed regression tests!
Trivial: whitespace.
Convert tests, etc. to use new called() syntax.