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
use depth charge explosion sound
setup all Tanya voices
StyleCop and add documentation
setup the minelayer rearm sound
add a configurable interval to announce on kill to avoid spam
fix Tanya announcing her own death when walking over a mine
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