library that computes hdepth_1 of a module M
Updated hdepth.lib, added tests for the functions
updated test hdepth.tst
chg: hdepth.stat and .res
fix: added hdepth.lib in slingular-libs
Merge pull request #377 from adipopescu/hdepth

library that computes hdepth_1 of a module M