Better Names for Downloaded Player Files

Player Files you download from the Web Console now keep their correct file name. If a file is versioned, the revision date is included in the name as well, so you can tell revisions apart at a glance.

This makes it easier to find the files you download directly from the Web Console, especially when you're looking at several revisions of the same file.