mrconfig: add mpicbg repository