MariaDBをバージョンアップした

MariaDB が10.1で、そろそろサポートが終わりそうなので、アップデートした。

ただし、yum updateではmaria-db-serverへのアップデートは適用されず、古いバージョンを削除して再インストールし、サービス起動後、mysql_upgradeコマンドを実行、という手順を行う必要があった。