Add Coq package
Add Fix Mac Path package
Make default tab size 2