Add documentation on installing and running the tests with the mysql backend