Added dependency on miniCRAN, since this package is now available on CRAN