Update to more recent version of mariadb

[pcornelissen]

Mariadb 10.1 is quite old now and for example Flyway refuses to work with 10.1 now because it's to old, forcing you to use the commercial version with less version constraints.
I do an update to 10.2 in my chain, but going higher would require forking this repo, which everyone would need to do.
Could you update to a newer mariadb version, please? :-)