Update proxy alias for new work machine.

- Ignore all pub / private keys.
- FixWhitespace on ssh-agent-setup.sh.
- Limit dborg default username to the office for now.
Merge branch 'master' of github.com:dougborg/bashrc
Merge branch 'master' of github.com:dougborg/bashrc

Conflicts:
	home/.ssh/config
	home/.ssh/ssh-agent-setup.sh