Add a makefile for our proofs
Ignore compiled Coq files
Add Travis CI configuration