fixed minor bug with mining district ai weights.

Added options menu.

Removed planetary habitat modifier altogether, as it doesn't do anything any more. It should disappear from existing habitats after a period of time.

fixed localization for Extraction World planet designation.

theoretically fixed the weight code so that newly-colonized molten/toxic/frozen habitats aren't immediately converted into extraction worlds by the auto-decider. They should convert after you build a few extraction districts.

The 10-pop requirement no longer applies to players.
Voidborne applies it's habitability bonus to all habitats.
Xenohabitation changed: grants 10% habitability to all habitats.
Habitat Technology changed: moved to 1st-tier. made a prerequisite for all habitats.
Orbital Habitats changed: They get a hydroponics district when the 4th district slot is otherwise empty. Other than this, I left them unchanged, to preserve compatibility with other mods as much as possible.
Habitat Expansion Decisions apply to orbital habitats again.
LS habitat districts changed: All production districts grant 2 housing. All housing districts grant 8 housing.
Habitat modifier doesn't change things now - maybe i'll remove it in a future patch.
LS Habitats have reduced habitability - 70% for gas giant, barren, and all asteroids; 50% for molten, toxic, frozen.
Added a special "Exploitation Planet" designation for molten/toxic/frozen habitats that improves motes/crystals/dust production.
Hydroponics district on orbital habitat now costs 500 minerals, has 3 housing, and 3 jobs (4 for hive) like other orbital habitat districts.

fixed it properly this time

fixed missing =

Fixed bug where LS habitats required habitat tech. That's not supposed to come until the big patch later this week...

Fixed AI so they should build LS habitats again... DOH!

Also - this fix incorporates the player limit remover addon into the base mod. Players never worry about the pop limit again!

Added new ai weight code for urban districts from 2.3.