Use a queue for each predicate for the temporary store.
Fix constant in 8queens-11.
When deleting tuples from the temporary store, delete them in place and not afterwards.
Add process_action_tuples method.
Move some engine structures to vm/temporary.
Maintain linear facts in linked lists and not in tries.
Node addresses are now 64 bits.
Use state pointers instead.
In the new structure for storing linear facts use a list of vm::tuples directly. 15% speedup improvement.
Remove to_delete flag from simple_tuple.
Small changes.
Use create and destroy static methods for tuples.
Remove buffer field.
Threaded schedulers appear to be working again. Add a global lock per node.
Removed find_scheduler from the threaded scheduler.
Merge commit 'a532a495e8e3cb8fcbb0adb953b55dce41ebe2f6' into flavio-dev

Conflicts:
	sched/nodes/serial.hpp
	sched/serial.cpp
	sched/serial.hpp
	vm/state.cpp
	vm/state.hpp
Merge commit '58bd00952ff4536e613fda0292353fd5baa3f5c1' into flavio-dev
Merge commit 'b58f14afa9a22f982b8ce6a1cf741ab1e1e44165' into flavio-dev

Conflicts:
	vm/exec.cpp
	vm/state.cpp
	vm/state.hpp
Merge commit 'ad54e9b8ef216050a59ff3a000dea5320a046e1d' into flavio-dev
Merge commit '559d7c12f3765becb3a2891972ac362bd3f92e3e' into flavio-dev

Conflicts:
	vm/state.cpp
	vm/state.hpp