GitHub site header

We redesigned the site header to simplify our styles, reorganize the content, and more. Search got way simpler and notifications are moved to the right alongside all your other stuff (keeping GitHub-specific things like search and home link on the left).