Scripting mode for girder-shell
Scripting mode for girder-shell

This allows a script to be passed into the `girder-shell` or
`girder shell` command which will execute with the same context
as though its code were run inside the interactive shell. Namely,
its `__name__` will be `'__main__'`, it will have the `appconf`
and `webroot` globals set, and the necessary plugins loaded. Its
`sys.argv` will be whatever was passed after `--` of the `girder-shell`
invocation, e.g.

    girder shell --plugins=audit_logs ./audit_report.py -- --format=csv

girder/girder,girder/girder,girder/girder,jbeezley/girder,kotfic/girder,Kitware/girder,Kitware/girder,data-exp-lab/girder,Kitware/girder,RafaelPalomar/girder,manthey/girder,manthey/girder,girder/girder,RafaelPalomar/girder,data-exp-lab/girder,data-exp-lab/girder,manthey/girder,manthey/girder,kotfic/girder,Kitware/girder,jbeezley/girder,jbeezley/girder,kotfic/girder,kotfic/girder,RafaelPalomar/girder,RafaelPalomar/girder,RafaelPalomar/girder,jbeezley/girder,data-exp-lab/girder,data-exp-lab/girder,kotfic/girder