Install mysql-proxy from cargomedia-deb

Addressing https://github.com/cargomedia/puppet-cargomedia/issues/411