use cran.revolutionanalytics.com to install checkpoint on Windows [ci skip]