A basic REPL for PHP without the need for any PHP extensions