Mnemonic db control panel

Introduced a control panel for the mnemonic database tab. Currently it
shows a number of mnemonics stored, but the idea is to place there
different statistics as well as the view manipulation settings. Closes
#12.