commandline history display bug

[antoinealb]

When navigating the history, the display is not properly refreshed and "eats" the line above the last one of the screen. Could be a problem of nios2-terminal, but would be nice to have it fixed.

[antoinealb]

Automatically migrated from Bitbucket