Add the following configuration options for Pushing metrics to Prometheus Push Gateway: - `headers`: Allows custom HTTP request headers. - `job_name`: allows to customize the name of the Job pushed to Push Gateway.