build: makefile tweaks for frama-c
ivory-serialize lib: remove undefined behavior, make C portable.
ivory-serialize: move to ivory repo.