Lua: track more allocator statistics
Lua: make time and steps spent on garbage collection configurable
LuaSyncedRead: API duplication--
SelectedUnitsAI: minor style