switch to separate Puppetfile and forked mysql

my fork of the mysql module was updated and is now current. Maybe
I’ll upstream it this time round… who knows.