SSH agent proxy utilities: on-demand ssh-add, passthrough, …