Add --sky support in mojo_shell.py.
Add --sky support in mojo_shell.py.

Pass --sky SKY_FILE to run Sky in mojo_shell. E.g.

    mojo/tools/mojo_shell.py --sky sky/examples/stocks/main.sky

R=qsr@chromium.org

Review URL: https://codereview.chromium.org/1157993010

afandria/mojo,jianglu/mojo,chinmaygarde/mojo,jianglu/mojo,afandria/mojo,chinmaygarde/mojo,chinmaygarde/mojo,chinmaygarde/mojo,chinmaygarde/mojo,chinmaygarde/mojo,afandria/mojo,jianglu/mojo,afandria/mojo,jianglu/mojo,afandria/mojo,afandria/mojo,jianglu/mojo,chinmaygarde/mojo,afandria/mojo,chinmaygarde/mojo,chinmaygarde/mojo,jianglu/mojo,jianglu/mojo,afandria/mojo,jianglu/mojo