update comments for double free analysis
testcase for tackling a stackoverflow error in sqlite casestudy
change test setup for astnavigation to standard test case setup
add project-specific stuff to double free analysis; project specific means that in different project different free functions are used
rewrite some astnavigation in order to use tail-call optimizations; add some code for debugging sqlite double free analysis
adding comment for analysis usage