build-tools: make LTSmin install script windows/macOS compatible
build-tools: make LTSmin install script windows/macOS compatible

LearnLib/automatalib,LearnLib/automatalib,LearnLib/automatalib,misberner/automatalib,LearnLib/automatalib,misberner/automatalib