Pluggable storage engine

We added TileDB as a pluggable storage engine to MariaDB. You are now able to run fast SQL queries via your MariaDB server on TileDB arrays, stored either on premises or on the cloud (e.g., AWS S3).