Dockerfile update#6

davezuckerman wants to merge 2 commits into

mainBerkeleyLibrary/bfs:mainfrom

dockerfile-updateBerkeleyLibrary/bfs:dockerfile-updateCopy head branch name to clipboard