How to install MariaDB on Ubuntu 18.04

There’s not much here yet, but stay tuned.