New navigation merged

After a lot of work, we merged new navigation into Cockpit today. This clearly separates dashboards from per-host configuration. If you're tracking git master, you need to reinstall and restart cockpit. More info: https://github.com/cockpit-project/cockpit/pull/1861 https://github.com/cockpit-project/cockpit/issues/1726 Some follow up work that still needs to be done: https://trello.com/c/59Ajm8lz/53-multiple-dashboards This will be part of Cockpit 0.41 Cheers, Stef