Event-sourced actors

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