mysql-test/include/check-testcase.test:
  Improved version of check-testcase that does not use mysqldump
mysql-test/mysql-test-run.pl:
  Make check-testcase restart servers if it detects something not cleaned up