avformat/hlsenc: add an option to set the filename in single file mode

The name of the media file is normally generated from the name of the
playlist, just changing the extension from .m3u8 to .ts. With the
'-hls_single_filename' option, it is possible to directly provide a name.