Header Footer

[#84580652] A simple header that changes depending on whether the user
is logged in or not (I think. I couldn't test it well without adding
stuff into the DB to check).