Add Debian packaging of ffmpeg