all: remove .bash_profile. merge into .bashrc
gaudi: simplify Dockerfile