bash diff wrapper to diff remote files over ssh