[travis] use sourceforge again for swig.