Attached patches.

This finally removes giant hacks in gif demuxer and allows using gif
files via pipe reliably.