Allow different EXE filename when using ResourceName

[mastersign]

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.