Update INSTALL docs about dnet