Sourceforge update

In case anyone didn’t get the mail: they’re upgrading their platform which comes with changes in svn urls and a lot of changes that don’t concern us because we’re not using those services. I’d say we do the upgrade right away. Afaics everybody would net to adjust their repos, but that should be it.

Upgrade scheduled