Makes innodb_log_file_size configurable. Sets default to 5M (the default for MariaDB).