Drop '-D NO_MODULES'; it's no longer needed.
Pull in Robert's kernel DTrace code.

Hook this code up to the libtesla build system and make it compile in userspace too, but don't actually call it yet.
Let DTrace functions take more information.
Hook up DTrace events via generic tesla_notify_*.

Add tesla_state_notify_{new_instance,transition,clone,pass,fail}, which dispatch events to either DTrace or VERBOSE_PRINT.