Editor header

We've improved the editor toolbar to be more usable for users. GitHub is now more integrated to our interface. We'd love to hear your feedback!