added the tex of the NPC proof
added latex related extensions to .gitignore