verification: make verification process distinct from the normal compilation
verification/simple_frama-c: main() does nothing
verification/strings_frama-c: add new program to test some string operations