Made Language.addFileExtension public, added a languageModified event, made DocumentManager update document's languages as necessary
Update the language name if the language changes
Forgot some places that should make the language as modified