Customize Gradio Interface that is Launched

[abidlabs]

I'd like to be able to customize the Gradio Interface that is created by evaluate.utils.launch_gradio_widget(). There are several reasons why this might be useful:

1. For example, if someone is launching a Gradio Interface for a metric locally, they might want to customize the look and feel of the Gradio app, e.g. by removing the article with the long description

2. For the metric spaces, in some cases the default UI is not rendered correctly. For example, in this Space: https://huggingface.co/spaces/evaluate-metric/mean_iou, it would be better if the title read "Metric: mean IoU" instead of "Metric: mean_io_u". Currently, there is no way to make this change.

This PR introduces the ability to provide arguments for gr.Interface() that override the default ones. Usage:

from evaluate.utils import launch_gradio_widget

launch_gradio_widget(module, title="Metric: mean IoU")

This is just a proposal, happy to hear feedback or alternative suggestions.

[HuggingFaceDocBuilderDev]

The docs for this PR live here. All of your documentation changes will be reflected on that endpoint.

[lvwerra]

Thanks @abidlabs! This looks great, since this will update all evaluation spaces would you mind setting up a test space which installs this branch to test that this works? You could for example copy evaluate-metrics/accuracy to your namespace on the Hub.