Remote shell

Hello again!

In case you are interested:  I added a minor feature that allows for batch executing of shell commands on all of the configured machines.

For a more complete description, see my commit message.

This is off of the develop branch.