[Planet] Update collision size on setPlanetRadius, setDistanceFromMovementPlane

[oznogon]

When changing the planet radius with setPlanetRadius or z-coordinate with setDistanceFromMovementPlane, the planet's collision radius doesn't change. This updates the collision radius in setPlanetRadius and setDistanceFromMovementPlane.

Fixes #1957.

[daid]

Wont work correctly for multiplayer, clients keep the old collision size

[oznogon]

Networked server (top) and client, default 2U radius:

10U radius:

Collision occurring on both:

The client doesn't get the new radius for the radar collision size but does get the planet radius in 3D views, and the collision occurs on the server side.

If the only thing the client radar uses to draw the circle is the collision radius, and the client already gets the planet radius and z-coordinate for 3D rendering, and the collisions happen on the server, then does the client really need the collision radius?

Can it just draw the planet radius, or derive the collision radius from the planet radius the same way as the server does from the planet radius?

[oznogon]

Pushed a replication commit, and a local recalculation in drawOnRadar in oznogon/1957-update-planet-collisionsize-locally (oznogon@e00013f).

[oznogon]

Closed for #1960.