mysql: Do not use package `mysql-server-5.1`

We make travis-ci happy by dropping this requirement.