Real board name available in Sketch/MDNS/OTA#2054

igrr merged 3 commits intoesp8266:masteresp8266/Arduino:masterfrom

hallard:masterhallard/Arduino:masterCopy head branch name to clipboard