bash: Remove machine-specific settings

These have been moved to ~/.bash_local/bashrc on my personal machine.