Merge tag 'v1.7.0'

.github/workflows/main.yml

.jenkins.groovy

.travis-settings.xml

README.md

general/docs/changelogs/ch1_7_0.md

general/docs/changelogs/gh-1_7_0.jq

pom.xml

tlatools/org.lamport.tlatools.api/.project

tlatools/org.lamport.tlatools.consumer.distributed/.project

tlatools/org.lamport.tlatools.feature/.project

tlatools/org.lamport.tlatools.impl.distributed/.project

tlatools/org.lamport.tlatools/.project

tlatools/org.lamport.tlatools/customBuild.xml

tlatools/org.lamport.tlatools/github.xml

tlatools/org.lamport.tlatools/ossrh.xml

tlatools/org.lamport.tlatools/src/tlc2/TLC.java

tlatools/org.lamport.tlatools/src/tlc2/output/MP.java

....lamport.tlatools/src/tlc2/overrides/TLAPlusCallable.java

...rg.lamport.tlatools/src/tlc2/tool/ConcurrentTLCTrace.java

tlatools/org.lamport.tlatools/src/tlc2/tool/ITool.java