Duplicated knownPlanet id, colonization

Colonization now properly settles all final information for a colonized
planet in the player planet list.

A duplicated index in the known planet list has been removed.