Build service image with gradle
Currently, building the docker image for cpachecker-grpc is not part of our build system. We can use dependency 'io.quarkus:quarkus-container-image-docker' to integrate it.
Currently, building the docker image for cpachecker-grpc is not part of our build system. We can use dependency 'io.quarkus:quarkus-container-image-docker' to integrate it.