Assume remote-bash is available as a tool
Merge pull request #13 from matelakat/use-external-remote-bash

Assume remote-bash is available as a tool