Separate ssh hosts and node ids

[sholtrop]

ik zou zeggen, we werken intern alleen met node_ids. En in de config lees je de juiste socketaddr voor een node_id. Dan komen er problemen natuurlijk als je minder nodes hebt in config dan voorheen, maar dan zien we dat als node loss gewoon, is in feite zelfde oplossing dat het vereist

So config will specify a mapping of nodeid to ssh host, rather than the sqlite db also storing the ssh host.

[sholtrop]

@lieuwex SocketAddr is the ssh host as well?

[lieuwex]

Well, since socketaddr also contains the port I think we should have separate socketaddrs.

[sholtrop]

Closed with #46