library that computes hdepth_1 of a module M

added a new library