.bashrc: use MACHINE as hostname in terminal title and PS1