Simplify instrumenter names.
Allow compile-time suppression of event printfs.

'tesla instrument' now accepts a -suppress-debug-instrumentation argument, which suppresses the generation of printf() blocks in instrumentation code. This commit also includes a new test.

This functionality requires identical new state in all instrumenters, so I also added a common supertype for them.