Interactively exploring the Export.lua environment in DCS: World with the DCS Witchcraft Lua Console