CI with GitHub Actions

GitHub Actions make CI so much easier that it would be a shame not to take advantage of it.