Include TLC test framework in tla2tools.jar.  Will be reused by CommunityModules.
Include TLC test framework in tla2tools.jar.  Will be reused by
CommunityModules.

[Tests][TLC]
lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus