Finish SF-file_management, added scripts to mirror the git repository to SourceForge and to control the buildbot master, fixed folder age issues with SourceForge sorting
Included the script that is used to manage timestamps on the sourceforge servers.
More fiddling with the SSH keys.
More bash scripting, I hope this is fixed soon.
Added the nightly release cycle
Merge branch 'develop'