Update setup.py to reflect the CI-tested platforms