Added some documentation to the docker file
Added some documentation to the docker file

kmate/HaRe,RefactoringTools/HaRe,RefactoringTools/HaRe,mpickering/HaRe,RefactoringTools/HaRe,kmate/HaRe,mpickering/HaRe,kmate/HaRe,mpickering/HaRe,SAdams601/HaRe,SAdams601/HaRe,SAdams601/HaRe