Setup with DockerΒΆ

Follow the steps in src/scripts/RunInDocker.sh