pulling workbench_shell.py from the workbench_cli branch