gratipay/gratipay.com — pull request #2961 by techtonik (2014-11-20 18:19:06+00:00)
Title: Fixing various workflow glitches

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