Fixing various workflow glitches

* add `make stop`
* fix DNS resolution in VirtualBox after sleep/wifi switch