Resolve "Refresh OIDC tokens in Galaxy"
we check the active token when Galaxy processes any API request and refresh it if needed. We also expose these tokens via bioblend.
So, having a Galaxy API key, one can get a fresh access/id token and use it for ssh/scp/sftp/... Alternatively, we can also expose tokens directly to a tool. Would need to decide later which option is optimal.
Closes #17 (closed)