Move the common header stuff for lecture slides into LaTeX/header.tex