Source aliases and environment variables

bash_profile and zshrc-local will source aliases and environment variables from
the same scripts. shell/prompt-bash.sh will hold bash-specific settings for the
command prompt.
Remove unused Pry themes