adding entry for dot_of_all_subsystems_of_nts in dot_dreiver.mli