fixed jmp_buf testcase by #including setjmp.h; hopefully that won't break it on whichever platform the decls that used to be in jmp_buf.c came from
fixed jmp_buf testcase by #including setjmp.h; hopefully that won't break
it on whichever platform the decls that used to be in jmp_buf.c came from

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c