xla

93e9f8b9 - Replication devices should return xla:* devices. Added get-count API for it as well.