Bug#12615: Host name might not resolve, use short host name


mysql-test/lib/mtr_misc.pl:
  Bug#12615: Host name might not resolve, use short host name
mysql-test/mysql-test-run.pl:
  Bug#12615: Host name might not resolve, use short host name