Adding mathlib/lib directory.