historysize — get number of lines in history
nb=historysize()
number of lines in history.
get number of lines in history.
historysize()