Improved piping#3

Open

bitwit wants to merge 6 commits intomasterfrom

improved-piping

Commits on Nov 17, 2018

Improvements to piping with shell and version
bitwit
committed

Commits on Nov 18, 2018

improvements to messagingand dependendent tasks
bitwit
committed