Added gitignore

We don't need no .o files
Completed Basics Chapter
Completed Induction Chapter
Completed Lists Chapter
Completed Poly Chapter
Completed MoreCoq Chapter
Completed Logic Chapter
Completed Propositions Chapter