Assorted cleanup, documentation

For example, the shell prompts now work correctly.  The SQL readme is now accurate.