add --result-file option
mysql-test/mysql-test-run
    do a really good job to kill mysqld if it is stuck