Add datomic pro