Setting Up TLA+ Tools on OS X