Different paths for devel and prod. Prompt warns if the shell is in an
ssh connection.
Merge branch 'master' of github.com:ananthb/dotfiles