Migrate to GitHub actions

The MariaDB setup is a bit finicky, but I got it working in the end.
GitHub has no equivalent of TRAVIS_JOB_NUMBER as far as I can tell, so
we have to put it into the matrix ourselves.