Use Jaguar device name to automatically set hostname

[lutzbickhardt]

when running toit on two devices I get with nmap:
...
Nmap scan report for toit.fritz.box (192.168.1.56)
...

Nmap scan report for toit.fritz.box (192.168.1.65)
...

lutz@HONOR:~/jaguar/third_party/toit$ /home/lutz/jaguar/build/jag scan
Scanning ...
Use the arrow keys to navigate: ↓ ↑ → ←
? Choose what Jaguar device you want to use:
▸ core2_WHITE (address: http://192.168.1.56:9000, 32-bit)
core_BLACK_BROKEN_EDGE (address: http://192.168.1.65:9000, 32-bit)

so how would I make , i.e. core2_WHITE to be used as hostname, as in
Nmap scan report for core2_WHITE.fritz.box (192.168.1.56)?

using the ARDUINO IDE I would set:
WiFi.setHostname("core2_WHITE");