SSH support
This is the wrapping up of developments made for SSH support.
For the time being, it references all relevant topics, but that will fall back to just heptapod-0-8
once they are merged.
We'll have to add a migration step to remove the admin SSH key, this could be in this MR, or in a follow-up
Edited by Georges Racinet