Adding symbolic link to mathLib, refactoring convex into mathLib.