Add short option -w for --shutdown-servers
Bug fix: the command "salome shell" was broken on some machines.