Merging changes for the development scripts. Buildbot, git mirror to SourceForge and release management. No code changes.