add source of precompiled ffmpeg debian packages to INSTALL