Fix racey bug at TLC execution

[rnbguy]

Closes: #148
Closes: #149
Closes: #150

Description

The change makes sure, the TLA+ standard modules are extracted in unique directory for each different TLC executions, avoiding racey file access.

Fixes the mbt test failures at informalsystems/ibc-rs.

---

For contributor use:

• If applicable, unit tests are written and added to CI. (NA)
• Ran go fmt, cargo fmt and etc. (or had formatting run automatically on all files edited)
• Updated relevant documentation (docs/) and code comments. (NA)
• Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
• Re-reviewed Files changed in the Github PR explorer.
• Added a changelog entry, using unclog.