Use uint32 for device name hashes throughout; added property and functions for storing/retrieving timestamp of last device sync from db_device, can be used to watch for unresponsive/crashed devices.