Create INSTALL.mysql.txt