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.
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)
loops: initialize uninitalized
bitvector: fix all uninitialized accesses

Now symbiotic gives no false answers on these benchmarks 8-).
ldv: initialize more uninitialized variables
ntdrivers/cdaudio_unsafe.i.cil.c: fix final symbiotic fallout

This is the last one where we give incorrect results. Fix that by
intializing memory that is allocated and accessed without prior
initialization.
add gitignore