Trivial: grammatical fixes.
No need for extra newlines after every output.

Only the '-format=source' output actually requires an extra newline.
Add -format=names to tesla-print.

Allow printing just automata names to stdout. Previously we were using grep to do this kind of thing... just do it directly!