fixes + added possible provers + added analyze flag for clang
reintroduced invariant (maybe someday wp will handle it)
added info
added clang *.plist
added pre analysis by clang
better Makefile
finally got a clean Makefile ...