Customize executable etc names for Eclipse ESCET product

Currently, we have eclipse.exe, eclipsec.exe, eclipse, eclipse.ini, etc. This can be customized. The Eclipse Installer for instance, on Windows, has eclipse-inst.exe, eclipse-instc.exe and eclipse-inst.ini.

Things to consider:

• It may be nice to replace eclipse by eclipse-escet in those names.
• We should check whether/how this affects the command line scripts, documentation (e.g. installation and first launch instructions), etc.