Modify config_linux_environment script to set zsh as the default shell and pip install jedi