rpm fedora: support Fedora 19

Since Fedora 19, mysql packages are renamed to community-mysql-*.