Add license headers; add TeX gitignore; convert tabs into spaces