How to install r-cran-coin on Debian 9 (Stretch)