* lang_php/analyze/foundation/database_prolog_php.ml: out some Todos
* h_program-lang/graph_code_prolog.mli: export func
* tests/php/prolog/kinds.php: support back
* lang_php/analyze/foundation/database_prolog_php.ml: basic support for inheritance
* tests/php/prolog/traits.php: support
* lang_php/analyze/foundation/database_prolog_php.ml: basic callgraph
* lang_php/analyze/foundation/database_prolog_php.ml: port back almost all
* lang_php/analyze/foundation/unit_prolog_php.ml: call unsugar
* lang_php/analyze/foundation/database_prolog_php.ml: fix unit tests
* lang_php/analyze/foundation/graph_code_php.ml: all unit tests pass again