Readline option for php::source interactive shell