Adds bugfixes in nginx__configure, with_sudo.

Also adds does some remaining cleanup after the bash-tools/basket rename.

Adds a few new tools for handling running commands as other users.