dead code
C code cleanup & thread security
Merge github.com:cadrian/Liberty

Conflicts:
	src/smarteiffel/generation/c/c_introspection_function.e
It looks like eiffeltest does not work with BDW GC.