Adding version timestamps to filenames.

Also updating version list after new versions are uploaded.