doc/filters: mention HDMI output format for stereo3d filter