Define H_G as part of public setup

[omershlo]

To be aligned with the paper the public setup must also define H_G (hash to group). A way to do it will be to pick at random domain separator to be used with the existing H_G such that the new H_G (H_G') will be specific to a given pubic setup