Added GitHub theme to Ace Editor