mathlib project creation

The mathlib project is a library which will consist in a variety of
tools and definitions involving maths.