added AVI video (de-)coder, avilib