Updated Datomic download url and version number.

Updated Datomic version and the download url.