Use jenkins ssh-agent for devel job test results upload

[nuclearsandwich]

Replace the publish_over_ssh plugin with an sftp command.

This is still in draft because the necessary configuration is not part of the build file configuration. (The current setup is hard-coded to use the Jenkins publish-over-ssh global docs host.)