readline retourne une ligne entrée par
l'utilisateur. Vous pouvez spécifier une chaîne de prompt.
La ligne retournée est débarassée du caractère nouvelle ligne
final. Vous devez ajouter cette ligne à l'historique vous-même,
avec la fonction readline_add_history.