Installs mysql devel package
This is a separate element because different devel packages are installed for
mysql and for mariadb.