add mathlib testing directory to cdirs.mif