added lib files with implementations of library functions that frama_c needs to see to run
properly