File headers for every file.

* Contains filename, description, name, and student number.