add script to shutdown all machines cleanly
add symbolic link to stop-machines script
let machines write their own dnsmasq configuration, shared with all other machines
obsolete update-env: every machine mainains its own shared config