Conditional deduction support with comparison of `sys.hexversion` against integer literal

Feature

Currently, mypy statically evaluates some if branches involving only sys.version_info and sys.platform as always false based on the version and platform it is running on. I propose to have it recognize comparisons against sys.hexversion as well.

Pitch

Some specialized functions targeting bugs patched in a certain alpha, beta or release candidate or internal behavioural differences between patch versions would need this functionality. Also, it may be desirable to give alpha/beta/rc versions a grace period for certain small deprecations, only raising an error on their use in the final python release. Implementation-wise, because the exact value of hexversion can be easily retrieved, and sys.platform and sys.version_info have set precedents, I do not believe it would be unreasonably hard to implement.

Inizia individuando la valutazione statica esistente di mypy per le condizioni che coinvolgono sys.version_info e sys.platform. Analizza come vengono rappresentati e testati i confronti di versione, quindi determina il comportamento previsto per i confronti tra sys.hexversion e valori letterali interi. Il lavoro sarà completato quando le condizioni hexversion supportate verranno valutate in modo coerente con i casi esistenti e i test copriranno i confronti richiesti.