Refactor tesla-print tool.

This will make a new kind of printer easier to implement.
Add -format=instr to tesla-print.

This prints out a list of instrumentation points generated for all automata.