updated datomic to 0.8.4007