Adds support for mariadb in f19

The packages in Fedora 19 have changed from mysql-devel => mariadb-devel

Change-Id: I26f105502a7ce041cf930ad8641acae134786a5e