get rid of hct researches

[mathematician]

currently, only 7 planets have between 3k and 4k roids, the rest is all below 3k.
there is no need for hct researches up to 10k roids.

aside from that, why not make storage facilities a construction? Let's say each one can mine from 100 roids, and store up to 1 mil resources. (e.g. with 10 of these facilities you are able to mine from 1000 roids and store up to 10 mil res). This leaves enough room for resource-whores as well as roid-fat planets, but these planets will have to sacrifice other constructions then.

ofc, constructions can be destroyed, so it is possible to cripple one's mining capabilities via sk.