WL#9675: Remove deprecated ignore_builtin_innodb option

Affects: Server-8.0   —   Status: Complete

Remove item deprecated in 5.6 :

* --ignore-builtin-innodb / ignore_builtin_innodb