bash_profile: post docker cleanup
bash_profile: add dclean for cleaning up docker