Rename "docker hosts" to "docker machines"