Merge "add IGNORE INDEX option to mysql database handler"