Merge tag 'v1.5.1'

general/TLASplashScreen.tif

general/docs/microsoft-release.txt

...t.product/org.lamport.tla.toolbox.product.product.product

org.lamport.tla.toolbox.product.standalone/plugin.xml

...mport/tla/toolbox/tool/tlc/ui/editor/page/ResultPage.java

...rc/org/lamport/tla/toolbox/tool/tlc/util/ModelHelper.java

...c/org/lamport/tla/toolbox/ui/view/ToolboxWelcomeView.java

tlatools/src/tlc2/TLCGlobals.java

tlatools/src/tlc2/tool/Spec.java

tlatools/src/tlc2/tool/TLCTrace.java

tlatools/src/tlc2/tool/fp/MSBDiskFPSet.java

tlatools/test/tlc2/tool/fp/MSBDiskFPSetTest2.java

tlatools/test/tlc2/tool/fp/iterator/TLCIteratorTest.java