API for setting device name

we should possibly have an API for setting the device name and persist this in flash

exactly what we do with the device name, I'm not sure: it could be used as a default session name, it could be used to register an mDNS/DNS-SD name, etc.