Add Induction.v
Ignore a few more types of files