Notify devices when they've been renamed #29
Description
Renaming devices on the website is possible already, but devices only take notice of that once they reconnect (causing ondevice status to print the old, invalid device ID)
As soon as the server side supports it, add support for renamed messages that take care of this