Added new hotkey Ctrl+F to search command history

It only matches the prefix, not a real search. Type in the prefix and then
press Ctrl+F to search for a previous command with this prefix. Press again to
cycle through the search entries. If nothing is found, nothing will happen.