Added a script to mirror the sources to SourceForge.