Updated interface.
Added misc panel to preferences widget.

This panel accomodates additional settings. For now I've added
a spin box to change the number of maximum recent symbols.
Allow to adjust number of allowed recently used symbols
Updated gui.
Updated copyright dates.
Updated todo.