MariaDB hints at cloud plans with purchase of MammothDB analytics engine