Better parsing structure.

* Extracted utilities into separate file
* Extracted notations into separate module
* Extracted generic combinators into separate module
* Removed make_mac script
* Updated makefile and _CoqProject with new structure