ssh keys for Karel, Filip and Michal were added.