Slightly better way to allow custom ffmpeg configuration

This read options from a file named ffmpeg_options and passes them to
ffmpeg's configure.