Add a basic CI pipeline

We need a CI to

• Lint the code
• (Later) Run tests
• (Later) Build documentation
• (Later) Do License checks