Script to remotely restart linux boxes via SSH