A tiny REPL for PHP