Hydra joubset configuration for HOL Light and related software