Interactive PHP shell - REPL