Simple SSH key management for shell servers