Replace the history_filename of get_input by a history attribute.

The reason is that it's bad to read out the whole history for each call
of get_input. But also that is was impossible to have an in-memory
history between across several get_input calls.