fix typo
add another test case for hittingSetDual
separate minimal hitting sets computation into Algorithm.HittingSet module