work on shell and console, add tests and run_piety script
ctrl-D exit Piety from shell not quite working, exits but then can't run_piety()