Upgrade to latest datomic