Fixing various workflow glitches

* add `make stop`
* fix DNS resolution in VirtualBox after sleep/wifi switch
@techtonik Why can't you just Ctrl-C in your terminal?