Use videolan.org to download VLC

It looks like VLC 2.0.7 isn't on sourceforge yet, or at least the files
section of the project is unavailable. We can point to the actual VLC
site for downloads.

Fixes #515