A simple REPL for PHP.