Stone'i–Čechi kompaktifikatsioon