Remove $wgExtDistArchiveAPI and $wgExtDistProxy

Change-Id: I2fa6f577533b6a8718427afc92e5bf65d7c8a280