Merge updates from release v2023dev3

To avoid to ship a GPL-3 readline or an outdated GPL-2 readline, we use instead the BSD licensed libeditreadline.

Signed-off-by: Dylan Aïssi dylan.aissi@collabora.com