This does not change many things since svn.mplayerhq.hu refers
to the same IP as svn.ffmpeg.org currently, but it may change
in the future.
Signed-off-by: Jean-Baptiste Kempf <jb@videolan.org>