Add Coq exercises from chapter 1
Add a makefile for our proofs
Ignore compiled Coq files
Add Travis CI configuration
Homogenize style
Finish the basics chapter
Ignore dependency files
Start with Induction chapter
Proof mult_comm
Add evenb/oddb
Finish another exercise
Merge remote-tracking branch 'software-foundations/master'

* software-foundations/master:
  Finish another exercise
  Add evenb/oddb
  Proof mult_comm
  Start with Induction chapter
  Ignore dependency files
  Finish the basics chapter
  Homogenize style
  Add Travis CI configuration
  Ignore compiled Coq files
  Add a makefile for our proofs
  Add Coq exercises from chapter 1

Conflicts:
	.travis.yml
Move Software Foundations into subdir
Add top-level README
Update Travis configuration