Updated MySQL server to use InnoDB

I updated the MySQL server configuration section to use the InnoDB
storage engine by default. This key has no impact on MySQL 5.5 which
already uses InnoDB by default.

Change-Id: I5a0d60e8e38488861ec53b9032cfc764accc3dbf
Closes-Bug: #1299480
Allow building of localized Sec and HA manuals

Create a "buildlan-misc" target in tox to build Security Guide and High
Availability Guide.

Change-Id: I7ff46db354570e9f6b29e6a09237e903c599425a