Lua connection problem

[Bart Bogaerts]

Recent bootstrapping code exposed a bug in the lua connection:

The bootstrapping file no longer parses due to some namespace issue in the luaconnection.

Bug can be reproduced on branch bootstrapping_better with

valgrind tests/idptests --gtest_filter=*NegProdOptimTheory*

(without valgrind, idp simply hangs)

[Broes De Cat]

Fixes #721: some internal testing problems with bootstrapping

→ <<cset ec79b1af8751>>

[Bart Bogaerts]

Merged in fix_lua_connection (pull request #238)

Fixes #721: some internal testing problems with bootstrapping

→ <<cset a35f49171990>>

[Broes De Cat]

Not everthing has been resolved as not everyone uses the datamanager.