Rationalize system host names
Fixes #67 (closed)
This removes the need to use IP addresses in various parts of the system. Instead, we rely on either Vagrant's generated ssh config having matching names (which it now does) or the systems having resolveable names in DNS (which they do).