Add Boris: A PHP REPL.