Comment 13 for bug 1378339

This might be relevant too: http://lua-users.org/wiki/DetectingUndefinedVariables

Note though that whatever we come up, if we do not find a way to deploy it inside of Widelands, we can only lint our own lua scripts, not those of other people making campaigns. Having confidencen in the correctness of our own stuff would go a long way though.