(Arith) Update the gitignore