some more va_start fixups

There were still errors in count of arguments for va_start in two
files. In cil.c they were commented anyway.
avoid defining assert function

Call it __VERIFIER_assert instead. Like in the other benchmarks. This
allows tools to include assert.h properly.
initialize more uninitialized variables
heap-manipulation: add the GPL license
memsafety: add the GPL license
add copying

gplv2 for the time being (and remove the text of the license from
subdirs)
instr
build fix