Web UI can be used to configure the port through os env variable.

[IdleIdiot]

What does this PR do?

Allows users to configure the web port via os env variable

Before submitting

• [ ] Did you read the contributor guideline?
• [ ] Did you write any new necessary tests?

[hiyouga]

GRADIO_SERVER_PORT is already available without this pr. You can try it out