Fix planetdump-ng date

The experimental planet files had a different date format in the file name from the stable ones. This PR changes the output file names to match the old ones. Hopefully this will cause them to be picked up by the scripts which update the "latest" links too.