Rename Toolbox directory to remove "+ " in path ".../TLA+ Toolbox/..." on macOS to fix crash in RCPTT runner.
Rename Toolbox directory to remove "+ " in path ".../TLA+ Toolbox/..."
on macOS to fix crash in RCPTT runner.

[Bug][Tests][RCPTT]
tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus