This patch marks the InnoDB plugin as mandatory, meaning that
there is no way to disable it from the configuration (including
command line options).

Added a test case to ensure that there is no way to disable InnoDB.