Yum plugin for prioritize providers [was Re: Fwd: MariaDB replacing MySQL]