Allow to install packages from BioC-devel manually. This allows users to install BioC-devel dependencies prior to GitHub dependencies that require BioC-devel packages.