Make launch.sh executable again

At some point the file became non-executable, possibly due to editing it
on windows.

Author: tbuschto