Change player radius

[sherpal]

Players are currently rather small. 10 units for their radius is way too small.

This should be changed to 20. This change is not that straightforward because some other things depend on that radius, for example damage zones in Boss 102. But the walls in Boss 102 do not, hence changing the radius to 20 makes the game too small.