Configure CI

see !2

• 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 / #18)
  • add drivers 5.10