proper checking of __builtin_va_...

support for __builtin_va_args type and checking types for BuiltinVaArgs function
Merge branch 'master' into liveness
test behavior of adress and dereference operator with free calls
ClassTag -> ClassManifest for Scala 2.9.x compatibility
reformat code
merging liveness
ignore test cases with absolute paths to a local machine (dropbox) and add an example for file test cases that run within typechef