Putting tool docker images in a directory where galaxy can find them