install.py (and doc) : add an option to set the user shell