Replacing the old header with a github ribbon

The old header didn't work well on mobile screens. It was also pretty annoying
since it was position-fixed.