Add MySQL backend

We needed a MySQL backend, so we added one, based on the existing PostgreSQL backend. We've been using this for several months and it works well!