update bash-and-Docker instructions