Added installation of RankProd to install-libs.R