Rename 18.01 summary.tex to 18.01summary.tex