Configuring, monitoring, and managing Datomic installations