ssh keys for Karel and Michal were added.