Increase hard timeout on SSH connections to 15 seconds
Increase hard timeout on SSH connections to 15 seconds

final-ci/travis-worker,travis-ci/travis-worker,gavioto/travis-worker,gavioto/travis-worker,final-ci/travis-worker,travis-ci/travis-worker,ireznice/travis-worker,ireznice/travis-worker