update Agda.tmLanguage, courtesy of mokus0