Merge main and Debian-specific launch scripts
Merge pull request #37 from daisy/debian

Close #37
Filter slashes to have the dev-launcher working in win
Merge pull request #39 from daisy/windows_dev_launcher

Close #39