Added a batchscript for utility.exe
Fix issues in ScriptTriggers' Clean method

* fixes a memory leak
* moves the cleanup into a FrameEndTask to avoid collisions with the
  trigger iterator (fixes #6747)
More Lua API enhancements
Add production support to the new Lua API
Port gdi04a to the new Lua API
Port gdi04b to the new Lua API
Port Intervention to the new Lua API
Merge pull request #6762 from obrakmann/lua-production

Add production support to Lua API, port gdi04a, gdi04b and intervention missions
fix Lua 5.1 library detection failed on Gentoo and derivatives

closes #6529
Remove GDI03.
Remove legacy Lua API traits.
Remove legacy Lua API.
Remove old IRC code.
Merge pull request #6782 from Mailaender/configure-gentoo

Fixed Lua 5.1 library detection failed on Gentoo and derivatives
Define BaseLine offset for ButtonWidget.
Allow custom ScrollPanel button styles.
Split out TS’s dropdowns.yaml.
Overhaul the replay sidebar.
Add a new stats button glyph.
Add the statistics button to TD replays.