added .bak and .tks files to gitignore (TeXmaker)
summary until slide 17 in w1-nd.pdf
natural deduction and propositional logic done. extended introduction