Updated Datomic to version 0.9.4815.12.

Just updated the datomic formula to the latest version.