TraceExplorationSpec was given main TLA+ file path instead of module name.
TraceExplorationSpec was given main TLA+ file path
instead of module name.

Fixes Github issue #733

[Bug][TLC]

tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus