added pointer to Docker docs
added pointer to Docker docs

ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,squaresLab/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/RepairBox,ChrisTimperley/RepairBox,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c,ChrisTimperley/AutomatedRepairBenchmarks.c