Generate Java class from tla file

Use the LanguageCore library to add a command similar to the tlatool command. So a Java class can be generated from a .tla language file using TextScriptCLI.