Added tex-thingies to gitignore