Name alien bases according to order discovered

.. as opposed to how vanilla names them according to order generated.

Currently discovering Alien Base 2 first tells you, unrealistically
perhaps, that there's another base out there.

This change slighty breaks current saves; discovered bases will disappear and will need rediscovering.
New option nameAlienBasesByDiscoveryOrder