bashrc: use SSH remote address in PS1