Updated Datomic download url and version number.