* h_program-lang/graph_code.ml: NodeAlreadyPresent exn
* h_program-lang/skip_code.ml: factorized code for skip_edges
* main_codegraph.ml: set GC, so no stack overflow
* lang_php/analyze/foundation/graph_code_php.ml: better error message for dupes, and fix dupe methods because dupe classes