mathlib : removed main.c from project.

main.c was removed from the project and deleted from the directory since
it has no relevance.