MariaDB simplifies web-scale deployments adding new platforms