Docker file to build an image that can be used to run Mozilla DXR