Add GitHub Actions CI

[debMan]

The importance of CI is clear.
Some points to include in CI:

• Lint and code style
• Tests
• Build