Updated GitHub web editor

Our web editor, powered by Ace, has a new look. It's also been updated to the latest stable release of Ace which adds a few features, improves styles, and performance.

It was fun for me to burn down some old code and tweak those tabs at the top to match some of the styling I often see in desktop code editors with custom themes (think Spacegray and the like).

keyboard shortcuts: L or F like Z toggle zoom post comment