Make global-hardhat-mode customizable

This defines a custom variable "global-hardhat-mode" with a setter that
calls the function "global-hardhat-mode" with the appropriate value in
addition to setting the variable with "setq-default".