repair bonus based on (# of players)

See OpenRA/OpenRA#3748

I cached the results of the square roots up to 10 (assuming there won't
be more players than that, otherwise we can just increase that number)
because we don't want to recompute square roots every time.