* find_source.ml: clang2 and pr2 by default when use a skip list
* h_program-lang/skip_code.ml: verbose by default