Challenges from the DARPA CGC corpus, adapted for Frama-C

Modifications include:

• Usage of standard C library functions whenever possible;
• A single, common library (with C stubs and/or ACSL specifications) in libcgc.h.