Store the civilopedia name for tech and player eras

This allows us to display the era-specific tech tree in loaded games and scenarios. This was particularly important for scenarios, where the civilopedia name for the era was always consistent, but the display name for the era was frequently modified.