SRAMP-474 log all shell command lines to file, added ShellArguments and wired into ShellCommandReaders, removed explicit -D property handling
Merge pull request #449 from brmeyer/SRAMP-474

SRAMP-474 CLI: Add a log-to-file option