Dashboard: Store machine list permanently.

* The list is managed by cockpitd.
* There is a dedicated websocket to access it.
* The dashboard monitors this connection.

Fixes: #131.