Add TeX file for cover page and stuff.