Resolve "Automatically run tests in pipelines"

This MR enables automatic testing using ctest, and also updates the CI pipelines so that they run build and test jobs exercising the code. We also add a Dockerfile that builds an appropriate CI environment to build, test, and run Cargo.

Closes #6 (closed)