getWindowsScript

Returns the full path to the Windows script. The target directory is represented by the output directory, the file name is the application name plus the file extension .bat. TODO: This should be Provider[RegularFile], but we don't support such upgrade with @ReplacesEagerProperty