phpdbg_init from file & command line option (no impl yet)