Use rdfind to make the docker image slightly smaller (#1125)

Use rdfind to make the docker image slightly smaller (#1125) #213