red_worker.c: s/red_display_destroy_streams/red_display_destroy_streams_agents
red_worker.c: s/red_display_destroy_streams/red_display_destroy_streams_agents

In order not to confuse it with red_destroy_streams in the following
patch.

elmarco/spice,fgouget/spice,freedesktop-unofficial-mirror/spice__spice,SPICE/spice,elmarco/spice,freedesktop-unofficial-mirror/spice__spice,ya-mouse/spice,ya-mouse/spice,Fantu/spice,ya-mouse/spice,elmarco/spice,Fantu/spice,freedesktop-unofficial-mirror/spice__spice,fgouget/spice,alon/spice-server,fgouget/spice,SPICE/spice,elmarco/spice,alon/spice-server,alon/spice-server,fgouget/spice,alon/spice-server,freedesktop-unofficial-mirror/spice__spice,alon/spice-server,Fantu/spice,SPICE/spice,elmarco/spice,Fantu/spice,freedesktop-unofficial-mirror/spice__spice