Rename `launch` to `launch.sh`

Rename `launch` to `launch.sh` in order to play nice with Windows and
its need for file extensions.