Add a command-line alias '-noTE' for too verbose command '-noGenerateSpecTE'.  '-noTE' matches case-insensitive.
Add a command-line alias '-noTE' for too verbose command
'-noGenerateSpecTE'.  '-noTE' matches case-insensitive.

[Feature][TLC]
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus