Manage an SSH agent from PHP