add boris A tiny REPL for PHP