Squelch warnings.

Fixes ticket:3880 and ticket:3882.
Remove old autogenerated notice, add notice that tools/image is no longer useful.

Icons are now always in separate image files (and joined at run-time), so there is currently no tool which
autogenerates the header. The header should be updated manually, if adding new icons.

Fixes ticket:3886.
Don't let other objects set text color of desync/quit/drop icons' player numbers.

(Same for font size. — Cyp)
Fix bug that made droids produced by scripts get human player's upgrades.
allyresearch: Simplify logic for display of ally research.
allyresearch: Keep showing allied research even while facilities are upgraded.
allyresearch: Also show in the bottom menu, if allies are researching the same as us.
Fix compile error on *BSD systems.

Patch by brad@comstyle.com.
Fixes ticket:3845.
Update autorevision with latest, portable, version from git