Adding samples for TLA+.

Right now something strange is happening, but it is a good start, because it is working, I can generate pretty-printed PDF and TEX files, I can use it from command line - both model checker and syntax checker.