upgrade Datomic