Added peer seeds static configuration.
Updated sidebar menu system with a different style and behaviour.
Added peer seeds static configuration file.
Updated user interface with new styles and with different menu organization.
Added dynamic border to the sidebar.
Updated toolbar to introduce a Tools link.
Merge branch 'master' of https://github.com/scientilla/scientilla
Merge branch 'master' of https://github.com/scientilla/scientilla
Moved the dataset list link under settings and improved sidebar menu interface.
Merge branch 'master' of https://github.com/scientilla/scientilla
Merge branch 'master' of https://github.com/scientilla/scientilla
Merge branch 'master' of https://github.com/scientilla/scientilla
Fixed sidebar submenu margin.
Added empty plugins and specific controls for supporting searches among the whole network (peers, repositories and datasets).
Fixed typo error in a tooltip.
Updated search controls with different tooltips.
Fixed selectors and sidebar menu.