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).