Use your shell profile in deployment scripts

Deployment scripts now load the SSH user's .bash_profile before running. Commands can use the environment variables and PATH configured there, which helps when deployment tools are installed in user-specific locations.