Included the script that is used to manage timestamps on the sourceforge servers.