scripts: fix download from sourceforge

It seems sourceforge changed yet again the way to download files.
This time, no longer use their 'mesh' thingy, and hard-code the
server to use in the URL... Sigh... :-(

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from ef6dad58ab1cd38946258552a3ee624a6339f54c)

 python

 import sys

 sys.path.insert(0, '@@PREFIX@@/share/gcc-@@VERSION@@/python')

 from libstdcxx.v6.printers import register_libstdcxx_printers

 register_libstdcxx_printers (None)

 end