console.py now supports command line invocation