Making tabs indicate whether they are modified

Unsaved tabs will now have a red title.