Rename intro to intro.tex