[Coco] Spinning CoCo demo: fix for windows XP

[Benoit Bleau]

For those who had problems with Diego's AVI, I found the missing codec:

http://www.free-codecs.com/download/Indeo_Codec.htm

Install the version 5 of the codec, and the AVI will play :)

-Benoit