Adding marking/updating for Eiffel GC.

First draft, no testing yet, fixes to follow!
Adding missing eiffel utils header.