* lang_php/analyze/foundation/graph_code_php.ml: get rid of skip_edges
* env.sh: don't need packages/bin in PATH, java pbs for pieter