Editor tab decorations

Editor tabs now show the number of problems in a file and the file’s source control state to the right of the file name.

Use workbench.editor.decorations.badges to enable/disable these decorations.