Added variable for MariaDB repository

I'd rather fetch MariaDB from somewhere closer :)