License added to mainfile.tex