Revert "Console: always add executed commands to the history"

Repeated commands should NOT clutter up the history.

This reverts commit c6b8f4d034eb1c24ba0fa4f52810303b91f46278.