A simple editor of the /etc/hosts file on OS X