Remove the last of mysql.pp

Everything is now in mysql_wmf and/or the mysql module.

Change-Id: If656558f7fdf9a56325f61cf233c071175d2d34f
Merge "Remove the last of mysql.pp" into production