GitLab

The launcher stamps target/ltl-stats.build-id with the current git commit
(plus a -dirty marker when the maven-root/mtsa tree has uncommitted changes)
and runs `mvn clean compile` whenever that id no longer matches the cached
build. Switching branches and re-running LTLStats.spawn(...) now picks up the
new branch instead of silently reusing stale bytecode. README updated.
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

This reverts commit b136548c.

This reverts commit 0f18d15f.

merge with master

See merge request !2

This reverts commit 84ea3485.