do_stats on timeout, also warn about reached timeout before exit
do_stats on timeout, also warn about reached timeout before exit

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer