Update develop-core-svn-sync.sh

Use https urls
Merge pull request #3 from westi/patch-1

Use HTTPS URLs for public references to the SVN repositories.