add libavifile.h to *divx*_SOURCES to distribute.
Authored by: kwmt 2002-03-08
Parent: [r1339]
Child: [r1341]
