speed up mysql import

Generally, it is very slow to restore the data from mysqldump file. Here is a tip to speed up this work:

  % mysql -u someuser -p
  > SET AUTOCOMMIT=0;
  > SET UNIQUE_CHECKS=0;
  > SET FOREIGN_KEY_CHECKS=0;
  > source dump.sql;
  > SET FOREIGN_KEY_CHECKS=1;
  > UNIQUE_CHECKS=1;
  > COMMIT;