Durable actors

Make the device manager survive restarts with event sourcing, in memory first, then in PostgreSQL.