Add latex header.

This changes the title page of the output pdf file.