Readline support for Windows

If on Windows, require pyreadline (Windows readline substitute).
Fix log messaging; add optional log output for shell
Add docs for mkworkspace
Remove one line