Hungarian translation update by mtomi78.

Closes #3412.
Map fixes and updates: GreatRift, MizaMaze, Wheel.

Thanks to NoQ. Closes #2857, refs #3317.
Fix save game load crash due to dangling, dead target from structures.
Polish translation update by Emdek.

Closes #1347.
Hungarian translation update by mtomi78.

Closes #3412.
Brazilian translation update by Tucalipe.

Closes #3415.
Turkish translation update by Ayhan Görgülü.

Closes #3417.
Update player number for lint.cpp and the map conversion tools.
Update ChangeLog.
Make pink/purple and orange/yellow more distinguishable on radar.
German translation update by Kreuvf.

Closes #3418.
Update ChangeLog.
Update the mac doc bundle.
Add oil barrels on all clients.

Fixes desynch 10 minutes after picking up an oil barrel.

Introduced in 29966c5da299f944a0e52ab579d2b3a7ed8d3063.

Fixes ticket:3396 and ticket:3413.
Only send 2 desynch logs per player on desynch.

Reset desynch count between games.

Since sending 2 logs instead of 5, it should take less time for players to figure out
what is going on, when people have slow connections.
Add assertion against duplicate file descriptors.

Probably can't happen, but no idea why the send() call blocks when it shouldn't.
Update custom translations.
Add scripts to generate translation statistics.

Text version by me, html version by Emdek. The CSS and flag images used
by the latter are in
https://github.com/Warzone2100/wz2100.net/blob/master/static.wz2100.net/htdocs/css/wztrac.css
and
https://github.com/Warzone2100/wz2100.net/tree/master/static.wz2100.net/htdocs/img/flags.
Clarify when we reach unit cap.
Specify which wrong player was trying to give a gift