Mariadb 10 slave config changes.
- Prepare for engine-independent index statistics
- Enable extra port 3307 in case of emergency
- Remove deprecated innodb setting

Change-Id: I5db4af2c46ac6a5478705e0cdbd1376835f1a700