bashrc: remove pr alias
ssh/config: add configuration for build boxes