A script for installing Mozilla's DXR