Added a CI pipeline that includes checking of code formatting and runs the tests created (dummy test so far).
cc @ds @prehn