SpaceX has introduced a compact version of the terminal called Starlink Mini, which the company is positioning as a mobile option for its satellite Internet customers.