lua: Rename demux to stream_filter

This is since some time a stream filter and not a demuxer anymore,
therefore this should be named stream_filter to not cause confusion
about that.

Signed-off-by: Rémi Denis-Courmont <remi@remlab.net>