Simple utilities to run bash scripts on remote hosts