Nicola: add ssh key generation