[rwth-security] Open-sourcing OpenPubkey SSH (OPKSSH): integrating single sign-on with SSH