Optimization of the update check action at startup

[dingzb]

Description

I often experience long startup times when using Marimo. After reviewing the code, I found that during the first startup each day, marimo will checks for updates by accessing the URL https://pypi.org/pypi/marimo/json. The response from this API is relatively large (over 62k for version 0.7.19, under good network conditions, it takes about 25 seconds to complete the check).

Suggested solution

1. Add an option to not check for updates, for example --disable-check-update
2. Change the update check API to https://pypi.org/rss/project/marimo/releases.xml, as this API response is smaller(2.3k).
3. Add a default timeout for update checks to prevent excessively long waiting times.

Alternative

No response

Additional context

No response