remove dot file generation from liveness test
first version of a working double free check; including test cases
add command line options to typechef for checking code for double free errors
fix wrong pointer argument when freeing a->b or similar
handle &, *, a[i], a->b, ... in double free