chore(developer): rename setup to devsetup

It simplifies things if we don't have two executables with the same filename, even if they are in separate folders. No reason why Developer's setup.dpr can't be called devsetup.dpr, as it is always renamed again anyway for the final build.