Track .gitignore
ArithVerified: new toy.