Optimize find_stream_format_by_file_header() for known file formats.
Add a configure option --with-default-format.
Update the download URI.