provision/docker: use ssh-agent to run commands remotely

Related to #430.