Case-sensitivity for command history

[Oliver Schwanke]

Command history can be set to report only unique commands, but discards same command with differing capitalization e.g.

d = dataObject.zeros((100,100))

Plot(d) #missspelled Plot

and

plot(d) #correctly spelled

leaves the missspelled one in history instead of the last(correct or at least other) spelled one

[M. Gronle]

fixes issue #109. Commands, added to the recent list of commands, are only considered as duplicates if their command string is equal to any older command in a case-sensitive way.

→ <<cset 00d424150c0f>>