libssh2 is now in spike-repos

Signed-off-by: Mattias Andrée <maandree@operamail.com>
krb5 is now in spike-repos

Signed-off-by: Mattias Andrée <maandree@operamail.com>