added options to result print

src/main/java/de/tlc4b/TLC4B.java

src/main/java/de/tlc4b/TLC4BGlobals.java

src/main/java/de/tlc4b/TLCRunner.java

src/main/java/de/tlc4b/analysis/MachineContext.java

src/main/java/de/tlc4b/prettyprint/TLAPrinter.java

src/main/java/de/tlc4b/tla/Generator.java