Allow the user to specify what shell to use for commands

This is done by assigning to the ‘shell’ variable, e.g.:

	shell = /bin/bash

The commit uses the GetBinding function to obtain the value of the shell variable, but ideally it should obtain the value without going through shell escaping.