Drop old (TESLA v1) kernel parts.

This diffs are not very relevant to the new TESLA.
More verbose name for transition_array.
Improve printf-based event handling in the kernel.
Add a non-fatal error-handling path.

For serious-but-not-panic-worthy error (e.g. out of TESLA automata memory), we need an explicit error handling path that makes the error visible without a fail-stop.

In particular, one might like to set up the debugger to break on reaching such an error.
Declare static things as static.
Report errors with ev_err() rather than return.

Instrumentation should be very simple: it's better to call a void tesla_update_state() than try to handle errors from generated instrumentation. Instead, we use the new ev_errr() event handler from within  esla_update_state() to handle errors like ENOMEM.
Add another assertion.
Shrink a test by half.

I don't want my laptop to lift off the desk every time I run 'ninja libtesla-test'.