Adding version timestamps to filenames.

Also updating version list after new versions are uploaded.
Synching version list when somebody else uploads a new version.