tla typesetter

tla typesetter
Merge branch 'master' of https://github.com/xingchao19811209/gvim-tla