Trying to have git push to dokku use the right SSH key by adding it to the SSH config for Travis CI