Increase the client/server update rate to 125 Hz and 100 Hz

[Calinou]

This needs playtesting before it can be merged. While this should be fine on paper, it's possible that this is too much for less-than-ideal connections (4G, distant servers, …). I can host a 24/7 server with this pull request if this is desired :slightly_smiling_face:

This decreases effective latency significantly by making clients and servers sending and receiving updates sooner. This increases network traffic by a factor of 3, but it should be manageable on today's networks.

The average game-induced latency (on top of network lag) should now be 14 ms (10 ms server + 0-8 ms client) instead of 60 ms (40 ms server + 0-40 ms client).

See https://extra-a.github.io/#bnet for more information.

[qreeves]

Needs further testing and discussion.