PR# 11453 Please append an ampersand to the four commands in EiffelLauncher

On Mac OS X, four icons are installed under /Developer/Applications/Eiffel56:

* Eiffel_Console
* EiffelBuild
* EiffelStudio
* EiffelVision2_Demo

All of these are launched by a bash script /Developer/Applications/Eiffel56/EiffelStudio/Contents/Resources/EiffelLauncher. 

The little blue and white Eiffel icon bounces around in the dock for a second, then X11 joins it and starts bouncing around in the dock too; the relevant application (EiffelStudio, etc.) opens up and the little icons stop bouncing around.

The annoyance is that we now have two icons in the dock -- Eiffel plus X11 -- and Cmd-Tab also displays the two icons. Yet selecting the little Eiffel icon does nothing: it's completely useless.

The fix is simple. Please edit EiffelLauncher and append an ampersand to the four lines near the bottom of the script that run the four applications, so that the script won't wait for them to finish.

This will allow the launcher to terminate as soon as its work is done.