Added __va_arg (tcc specific - to be removed) to abi.c
No preprocessing of vari.c for now + test case
va_list definition matches x86_64 ABI
Changes to builtin functions to match x64 variadic ABI
Added x64 ABI doc