add libgmp-dev dependency in debian packaging files