ensemble.py script: add user and csh options
Merge branch 'master' of github.com:weiju/cmonkey-python