Remove GNU Readline in favor of libedit#3745

Girgias merged 2 commits intophp:masterphp/doc-en:masterfrom

petk:patch-readlinepetk/doc-en:patch-readlineCopy head branch name to clipboard