Configure CI

see !2 (merged)

• enable CI configured from upstream
• fix failed source checks
• add integration tests in CI
  • add 'small' tests from test/test-sets
  • add Juliet tests
  • add 'software systems' tests (blocked by #16 (closed) / #18 (closed))
  • add drivers 5.10