Dashboard: Store machine list permanently.

* The list is managed by cockpitd.
* There is a dedicated websocket to access it.
* The dashboard monitors this connection.
Tests: Use firewall-cmd in cockpit.setup.
Tests: Disable NAT during tests.

But enable it during image creation.
Dashboard: Discover machines via OpenSLP.