verification/strings_frama-c: add new program to test some string operations