Allow different EXE filename when using ResourceName #116
Description
Currently a single executable file, downloaded with the ResourceName app property, can not directly be installed with a different name.
It is, of course, possible via the help of a custom setup script. But this is a bit complicated for such a simple task.