lib/readline.c (readline): Call fflush on stdout after printing prompt.