A script for running TLA+/TLC from the command line - View it on GitHub