DEV: Get rid of DVector : replace it by std::vector
DEV: Move print of HashTable to header file